HN
Hacker News
Top
New
Best
Ask
Show
Jobs
A New Kind of Type System | Hacker News Reader
A New Kind of Type System
mcdirmid.github.io
4 points
·
richmok
·
·
1 comment
Open article
Save
View on HN
richmok
(original poster)
·
Discussed here on Lambda the Ultimate (
http://lambda-the-ultimate.org/node/4764
)
Reply on news.ycombinator.com