ParentFull threadm_j_g·You may be interested in his brand new course on HoTT in Agdahttps://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes...View on HN