type-lang 0.1.0

Type representation, unification, and inference scaffolding.
Documentation