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 년 전