Inicio Explorar Ayuda
Iniciar sesión
taddeus
/
pga
1
0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki

OCaml implementation of operations in Program Algebra

Rama: master
Ramas Etiquetas
pga
ZIP TAR.GZ
Taddeus Kroes ddcf456031 Added some congruence functions and empty commands hace 11 años
.gitignore 682819d4a2 Transformed parser into lex+yacc parser hace 11 años
Makefile ddcf456031 Added some congruence functions and empty commands hace 11 años
congruence.ml ddcf456031 Added some congruence functions and empty commands hace 11 años
lexer.mll ddcf456031 Added some congruence functions and empty commands hace 11 años
parse.ml ddcf456031 Added some congruence functions and empty commands hace 11 años
parser.mly a974ecee0e Added finite repeat instruction and utf8/latex stringification commands hace 11 años
pga.ml ddcf456031 Added some congruence functions and empty commands hace 11 años
stringify.ml ddcf456031 Added some congruence functions and empty commands hace 11 años
types.ml ddcf456031 Added some congruence functions and empty commands hace 11 años