A Functional Programmer's Guide to Homotopy Type Theoryyoutube.com3 points·tpush··0 commentsOpen articleSaveView on HN