Domů Procházet Nápověda
Přihlásit se
taddeus
/
pga
1
0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki

OCaml implementation of operations in Program Algebra

Větev: master
Větve Značky
pga
ZIP TAR.GZ
Taddeus Kroes ddcf456031 Added some congruence functions and empty commands před 11 roky
.gitignore 682819d4a2 Transformed parser into lex+yacc parser před 11 roky
Makefile ddcf456031 Added some congruence functions and empty commands před 11 roky
congruence.ml ddcf456031 Added some congruence functions and empty commands před 11 roky
lexer.mll ddcf456031 Added some congruence functions and empty commands před 11 roky
parse.ml ddcf456031 Added some congruence functions and empty commands před 11 roky
parser.mly a974ecee0e Added finite repeat instruction and utf8/latex stringification commands před 11 roky
pga.ml ddcf456031 Added some congruence functions and empty commands před 11 roky
stringify.ml ddcf456031 Added some congruence functions and empty commands před 11 roky
types.ml ddcf456031 Added some congruence functions and empty commands před 11 roky