ParentFull threadmiguelrochefort·I can't seem to grasp HoTT.Are there any approachable resources on the subject?View on HN