Hindley-Milner-C

Hindley-Milner Type Inference written in c.

The main Type Inference file is typing.c.

Build

make

hm [--test] file

MIT

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
test		test
.clang-format		.clang-format
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
error.c		error.c
hm.h		hm.h
main.c		main.c
parse.c		parse.c
parse_test.c		parse_test.c
tokenize.c		tokenize.c
tokenize_test.c		tokenize_test.c
typing.c		typing.c
utils.c		utils.c
utils_test.c		utils_test.c