type-lang 1.0.0

Type representation, unification, and inference scaffolding.
Documentation
1
github: [jamesgober]