HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by wscourge | Hacker News Reader
Full thread
wscourge
·
There's Idris, designed to encourage "Type-Driven Development".
View on HN
No comments yet.