Implementation of a type checker for the Fzip language
Stars
0
Forks
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
217
commits
updated to ocaml 4.04.0 and fixed some warnings
4560646
upgraded to ocaml 4.01.0, fixed some warnings
b0a0274
better pretty printing
df66555
remove the use of '__' in default names
eec004f
better choice of names for bound variables
cecf266
emacs mode: missing keywords
1387c78
fixed bug in emacs mode involving parentheses
3339387
upgraded to latest version of pprint
28dc27d
encoding of HOAS for the untyped lambda calculus, using recursive types
31e0bf5
better syntax highlighting in emacs mode
b2c6f71
light changes in Makefile
1b15b82
improvements in README
d09d861
better at keeping user-provided names
8f00001
better at keeping names provided by the user
9fc22be
sets and maps for bound variables
a70c13c