mb64 / xtt
A simple implementation of XTT, "A cubical language for Bishop sets"
β26Updated 2 years ago
Related projects β
Alternatives and complementary repositories for xtt
- πͺ A Staged Type Theoryβ34Updated last year
- Experimental type-checker for internally parametric type theoryβ32Updated 3 years ago
- Toy implementation of Martin-LΓΆf Type Theory