Startseite Erkunden Hilfe
Anmelden
taddeus
/
pga
1
0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki

OCaml implementation of operations in Program Algebra

Branch: master
Branches Tags
pga
ZIP TAR.GZ
Taddeus Kroes ddcf456031 Added some congruence functions and empty commands vor 11 Jahren
.gitignore 682819d4a2 Transformed parser into lex+yacc parser vor 11 Jahren
Makefile ddcf456031 Added some congruence functions and empty commands vor 11 Jahren
congruence.ml ddcf456031 Added some congruence functions and empty commands vor 11 Jahren
lexer.mll ddcf456031 Added some congruence functions and empty commands vor 11 Jahren
parse.ml ddcf456031 Added some congruence functions and empty commands vor 11 Jahren
parser.mly a974ecee0e Added finite repeat instruction and utf8/latex stringification commands vor 11 Jahren
pga.ml ddcf456031 Added some congruence functions and empty commands vor 11 Jahren
stringify.ml ddcf456031 Added some congruence functions and empty commands vor 11 Jahren
types.ml ddcf456031 Added some congruence functions and empty commands vor 11 Jahren