Experimenting with the Hindley-Milner type system in OCaml.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Michael Zhang 1cb0c25095
initial
1 year ago
.gitignore initial 1 year ago
_tags initial 1 year ago
ast.ml initial 1 year ago
infer.ml initial 1 year ago
kb.ml initial 1 year ago
lexer.mll initial 1 year ago
main.ml initial 1 year ago
parser.mly initial 1 year ago
repl.ml initial 1 year ago
test.ml initial 1 year ago