Amélia Liao ICFP@plt_amy·Nov 20, 2021https://cubical.1lab.dev/1Lab.Univalence.html… can anyone read this and tell me what they think of it 👉👈1lab.dev1Lab.Univalence - 1LabA formalised, explorable online resource for Homotopy Type Theory.5116
Brendan Zabarauskas@brendanzabReplying to @plt_amyI have stuff to do, but I'll try to remember to give it a look! I wanna understand this stuff!3:34 AM · Nov 20, 2021·Twitter Web App1 Like
