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 yıl önce
.gitignore	682819d4a2 Transformed parser into lex+yacc parser	11 yıl önce
Makefile	ddcf456031 Added some congruence functions and empty commands	11 yıl önce
congruence.ml	ddcf456031 Added some congruence functions and empty commands	11 yıl önce
lexer.mll	ddcf456031 Added some congruence functions and empty commands	11 yıl önce
parse.ml	ddcf456031 Added some congruence functions and empty commands	11 yıl önce
parser.mly	a974ecee0e Added finite repeat instruction and utf8/latex stringification commands	11 yıl önce
pga.ml	ddcf456031 Added some congruence functions and empty commands	11 yıl önce
stringify.ml	ddcf456031 Added some congruence functions and empty commands	11 yıl önce
types.ml	ddcf456031 Added some congruence functions and empty commands	11 yıl önce