News for hackers. Stuff that matters.

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

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 ]

There are no comments on this comment yet.