thehottgame / TheHoTTGame

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
125 stars 15 forks source link

Update for cubical 0.5 #17

Open ncfavier opened 1 year ago

Jlh18 commented 1 year ago

Hi! Thanks for this. I'm a bit worried that there will be lots of bits of the documentation here that will be incompatible. Perhaps I could make a note on the documentation that a 0.5 compatible version is also available, and give a link to your repository - rather than changing this one and the documentation.