Deque personal blog
Things that Idris improves things over Haskell
The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. But this post is not about dependent…
- Points
- 221
- HN comments
- 154
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 14, 2017 | Things that Idris improves things over Haskell by deque-blog | 221 | 154 |
