GitHub - FixpointOfBeing/hm_infer: A minimal, educational implementation of the Hindley–Milner (HM) type system.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.md		README.md
build.rs		build.rs

Repository files navigation

A minimal, educational implementation of the Hindley–Milner (HM) type system.

No releases published