Начало Каталог Помощ
Вход
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 години