HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by orangea | Hacker News Reader
Parent
Full thread
orangea
·
Why more useful than non-homotopy type theory?
View on HN
remexre
·
Is there a non-homotopy type theory with univalence?
Reply on news.ycombinator.com