RyanGlScott / eliminators

Dependently typed elimination functions using singletons
28Updated 2 weeks ago

Related projects

Alternatives and complementary repositories for eliminators