UlfNorell / insane

Toy typechecker for Insanely Dependent Types
79Updated 11 years ago

Related projects

Alternatives and complementary repositories for insane