News for hackers. Stuff that matters.

A comment on A functional programmer's guide to homotopy type theory.

Re:A functional programmer's guide to homotopy type theory by maddening on Tuesday May 05, 2020 @06:15PM (#23085750)
I am only able to download the abstract. Is there somewhere full content available?
[ Parent | on HN ]
Re:A functional programmer's guide to homotopy type theory by alokrai on Wednesday May 06, 2020 @10:24AM (#23091284)
The entire paper is available for free at the moment. Click the pdf button right above the abstract to download it.
[ Parent | on HN ]