search

simhu / cubical

Implementation of Univalence in Cubical Sets
MIT License
145 stars 10 forks source link

Report type errors for definitions #6

Closed Saizan closed 10 years ago