[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.8656712 [View]
File: 34 KB, 500x498, hardly.jpg [View same] [iqdb] [saucenao] [google]
8656712

>>8656706
It will take exactly 3 years to finally everyone admitting that there is no large enough existing framework and too much work to be done, for any dependently typed setting with univalent semantics to produce anything valuable within 13 years.

Navigation
View posts[+24][+48][+96]