Etusivu Tutki Apua
Kirjaudu sisään
taddeus
/
pga
1
0
Haarauta 0
Tiedostot Esitykset 0 Vetopyynnöt 0 Wiki

OCaml implementation of operations in Program Algebra

Haara: master
Haarat Tunnisteet
pga
ZIP TAR.GZ
Taddeus Kroes ddcf456031 Added some congruence functions and empty commands 11 vuotta sitten
.gitignore 682819d4a2 Transformed parser into lex+yacc parser 11 vuotta sitten
Makefile ddcf456031 Added some congruence functions and empty commands 11 vuotta sitten
congruence.ml ddcf456031 Added some congruence functions and empty commands 11 vuotta sitten
lexer.mll ddcf456031 Added some congruence functions and empty commands 11 vuotta sitten
parse.ml ddcf456031 Added some congruence functions and empty commands 11 vuotta sitten
parser.mly a974ecee0e Added finite repeat instruction and utf8/latex stringification commands 11 vuotta sitten
pga.ml ddcf456031 Added some congruence functions and empty commands 11 vuotta sitten
stringify.ml ddcf456031 Added some congruence functions and empty commands 11 vuotta sitten
types.ml ddcf456031 Added some congruence functions and empty commands 11 vuotta sitten