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