taddeus/pga: OCaml implementation of operations in Program Algebra

OCaml implementation of operations in Program Algebra

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 年之前