You need to enable JavaScript to run this app.
Readit News
Posted by
u/fanf2
3 months ago
Implementation of Dependent Types
cse.chalmers.se/~coquand/...
thomasdziedzic
·
3 months ago
seems like it's down, getting an ERR_CONNECTION_REFUSED
Readit NewsReadit News