4 ms·A functional programmer's guide to homotopy type theory2 points by alokrai 6y agomaddening 6y agoI am only able to download the abstract. Is there somewhere full content available?alokrai 6y agoThe entire paper is available for free at the moment. Click the pdf button right above the abstract to download it.