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
11 months ago
.gitignore initial 11 months ago
_tags initial 11 months ago
ast.ml initial 11 months ago
infer.ml initial 11 months ago
kb.ml initial 11 months ago
lexer.mll initial 11 months ago
main.ml initial 11 months ago
parser.mly initial 11 months ago
repl.ml initial 11 months ago
test.ml initial 11 months ago