UlfNorell / insane

Toy typechecker for Insanely Dependent Types
79Updated 11 years ago

Alternatives and similar repositories for insane:

Users that are interested in insane are comparing it to the libraries listed below