Idris company blog
Idris 2 version 0.2.1
A new version (0.2.1) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page .
- Points
- 129
- HN comments
- 16
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 17, 2020 | Idris 2 version 0.2.1 by thomasdziedzic | 129 | 16 |
