taddeus/pga: OCaml implementation of operations in Program Algebra @ 682819d4a257da28266a9b719e281bfcbf04505a

OCaml implementation of operations in Program Algebra

Taddeus Kroes 682819d4a2 Transformed parser into lex+yacc parser		11 anni fa
.gitignore	682819d4a2 Transformed parser into lex+yacc parser	11 anni fa
Makefile	682819d4a2 Transformed parser into lex+yacc parser	11 anni fa
lexer.mll	682819d4a2 Transformed parser into lex+yacc parser	11 anni fa
parse.ml	682819d4a2 Transformed parser into lex+yacc parser	11 anni fa
parser.mly	682819d4a2 Transformed parser into lex+yacc parser	11 anni fa
pga.ml	682819d4a2 Transformed parser into lex+yacc parser	11 anni fa
stringify.ml	682819d4a2 Transformed parser into lex+yacc parser	11 anni fa
types.ml	682819d4a2 Transformed parser into lex+yacc parser	11 anni fa