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

Árbol: f8778da5f9
Ramas Etiquetas
pga
ZIP TAR.GZ
Taddeus Kroes f8778da5f9 Cleanup hace 12 años
.gitignore 9340893b20 Added basic PGA parser and printer hace 12 años
Makefile 9340893b20 Added basic PGA parser and printer hace 12 años
parse.ml 9340893b20 Added basic PGA parser and printer hace 12 años
pga.ml f8778da5f9 Cleanup hace 12 años
stringify.ml f8778da5f9 Cleanup hace 12 años
types.ml 9340893b20 Added basic PGA parser and printer hace 12 años