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		пре 12 година
.gitignore	682819d4a2 Transformed parser into lex+yacc parser	пре 12 година
Makefile	ddcf456031 Added some congruence functions and empty commands	пре 12 година
congruence.ml	ddcf456031 Added some congruence functions and empty commands	пре 12 година
lexer.mll	ddcf456031 Added some congruence functions and empty commands	пре 12 година
parse.ml	ddcf456031 Added some congruence functions and empty commands	пре 12 година
parser.mly	a974ecee0e Added finite repeat instruction and utf8/latex stringification commands	пре 12 година
pga.ml	ddcf456031 Added some congruence functions and empty commands	пре 12 година
stringify.ml	ddcf456031 Added some congruence functions and empty commands	пре 12 година
types.ml	ddcf456031 Added some congruence functions and empty commands	пре 12 година