HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Implementation of Dependent Types | Hacker News Reader
Implementation of Dependent Types
cse.chalmers.se
3 points
·
fanf2
·
·
1 comment
Open article
Save
View on HN
thomasdziedzic
·
seems like it's down, getting an ERR_CONNECTION_REFUSED
Reply on news.ycombinator.com