Главная Обзор Помощь
Вход
taddeus
/
pga
1
0
Ответвить 0
Файлы Задачи 0 Запросы на слияние 0 Вики

OCaml implementation of operations in Program Algebra

Ветка: master
Ветки Метки
pga
ZIP TAR.GZ
Taddeus Kroes ddcf456031 Added some congruence functions and empty commands 11 лет назад
.gitignore 682819d4a2 Transformed parser into lex+yacc parser 11 лет назад
Makefile ddcf456031 Added some congruence functions and empty commands 11 лет назад
congruence.ml ddcf456031 Added some congruence functions and empty commands 11 лет назад
lexer.mll ddcf456031 Added some congruence functions and empty commands 11 лет назад
parse.ml ddcf456031 Added some congruence functions and empty commands 11 лет назад
parser.mly a974ecee0e Added finite repeat instruction and utf8/latex stringification commands 11 лет назад
pga.ml ddcf456031 Added some congruence functions and empty commands 11 лет назад
stringify.ml ddcf456031 Added some congruence functions and empty commands 11 лет назад
types.ml ddcf456031 Added some congruence functions and empty commands 11 лет назад