*Introduction to Univalent Foundations of Mathematics with Agd*a (4 March 2019, version of 18 December 2019) Martín Hötzel Escardó https://cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/HoTT-UF-Agda.html
@philipthrift -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/07edfd8e-91e0-4a4b-aeea-1d211b6fae3a%40googlegroups.com.
