Idris company blog
Idris 0.9.15 released – partial evaluation and uniqueness types
The original page did not respond normally when we last checked (HTTP 404). The archived copy may help.
- Points
- 103
- HN comments
- 9
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Oct 27, 2014 | Idris 0.9.15 released – partial evaluation and uniqueness types by logicchains | 103 | 9 |
