Idris company blog
Idris 2 version 0.3.0
A new version (0.3.0) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page .
- Points
- 246
- HN comments
- 2
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 14, 2021 | Idris 2 version 0.3.0 by insulanian | 246 | 2 |
