alt
Hacker News
rafaelRiv
•
yesterday at 10:38 PM
•
0 replies
•
view on HN
It can create very bad one. Wake me up when it will make subtensial progress on Cubical Type Theory
alt Hacker News