D dl.acm.org A functional programmer's guide to homotopy type theory 2 points alokrai 6 years ago 2 comments
