Geometric Type Theory, Done Two Waystopos.institute4 points·measurablefunc··0 commentsOpen articleSaveView on HN