ziman / itt

Tiny dependent calculus with inference of irrelevance and erasure
15Updated 4 years ago

Related projects

Alternatives and complementary repositories for itt