define pointed maps, and prove some equivalences between types involv… - Githubissues

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory

https://arxiv.org/abs/1611.02108

MIT License

572 stars 76 forks source link

define pointed maps, and prove some equivalences between types involv… #100

Closed fpvandoorn closed 6 years ago

fpvandoorn commented 6 years ago

…ing pointed maps

mortberg commented 6 years ago

Thank you Floris!