A functional programmer's guide to homotopy type theory

Posted by alokrai on Tuesday May 05, 2020 @01:31PM
from the dl.acm.org dept.

( 2 comments | 2 points | on HN )

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 ]