search

jonsterling / tt-singletons

experiments with singleton types & identity types in type theory
MIT License
3 stars 0 forks source link

coe for squash types #8

Open jonsterling opened 9 years ago

jonsterling commented 9 years ago

I forgot to add this.