HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by ska80 | Hacker News Reader
Full thread
ska80
·
A Language with Dependent Types:
https://www.idris-lang.org
View on HN
adrianN
·
Idris has a Wikipedia article since 2013.
ska80
·
Version 1.0 was released last April this year.
justdutch
·
But that doesn't mean its new. It just means its stable now.
Reply on news.ycombinator.com