Sākums Izpētīt Palīdzība
Pierakstīties
taddeus
/
pga
1
0
Atdalīts 0
Faili Problēmas 0 Izmaiņu pieprasījumi 0 Vikivietne

OCaml implementation of operations in Program Algebra

Atzars: master
Atzari Tagi
pga
ZIP TAR.GZ
Taddeus Kroes ddcf456031 Added some congruence functions and empty commands 11 gadi atpakaļ
.gitignore 682819d4a2 Transformed parser into lex+yacc parser 11 gadi atpakaļ
Makefile ddcf456031 Added some congruence functions and empty commands 11 gadi atpakaļ
congruence.ml ddcf456031 Added some congruence functions and empty commands 11 gadi atpakaļ
lexer.mll ddcf456031 Added some congruence functions and empty commands 11 gadi atpakaļ
parse.ml ddcf456031 Added some congruence functions and empty commands 11 gadi atpakaļ
parser.mly a974ecee0e Added finite repeat instruction and utf8/latex stringification commands 11 gadi atpakaļ
pga.ml ddcf456031 Added some congruence functions and empty commands 11 gadi atpakaļ
stringify.ml ddcf456031 Added some congruence functions and empty commands 11 gadi atpakaļ
types.ml ddcf456031 Added some congruence functions and empty commands 11 gadi atpakaļ