type-systems

★ 0 updated 11y ago ⑂ fork

Implementations of various type systems in OCaml.

No plain-English explanation yet — one is being written right now. Check back in a minute.