Home Explore Help
Sign In
taddeus
/
pga
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki

OCaml implementation of operations in Program Algebra

Tree: 9340893b20
Branches Tags
pga
ZIP TAR.GZ
Taddeus Kroes 9340893b20 Added basic PGA parser and printer 11 years ago
.gitignore 9340893b20 Added basic PGA parser and printer 11 years ago
Makefile 9340893b20 Added basic PGA parser and printer 11 years ago
parse.ml 9340893b20 Added basic PGA parser and printer 11 years ago
pga.ml 9340893b20 Added basic PGA parser and printer 11 years ago
stringify.ml 9340893b20 Added basic PGA parser and printer 11 years ago
types.ml 9340893b20 Added basic PGA parser and printer 11 years ago