Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
A functional programmer's guide to homotopy type theory
(
acm.org
)
2 points
by
alokrai
on May 5, 2020
|
hide
|
past
|
favorite
|
2 comments
maddening
on May 5, 2020
[–]
I am only able to download the abstract. Is there somewhere full content available?
alokrai
on May 6, 2020
|
parent
[–]
The entire paper is available for free at the moment. Click the pdf button right above the abstract to download it.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
