Hacker News new | ask | show | jobs
by xfax 3599 days ago
Wait, what? Are you sure you typed the right title?
1 comments
caretStick 3599 days ago
https://homotopytypetheory.org/book/
link