Edwin Brady personal blog
Why is Idris 2 so much faster than Idris 1?
I've just released a new version of Idris 2 , which is a significant release in that it's the first one which is able to compile itself. Thus, it's the first one where we can really see how the performance of Idris 2 improves on the performance of Idris 1.
- Points
- 282
- HN comments
- 81
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSystems & Performance2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 25, 2020 | Why is Idris 2 so much faster than Idris 1? by culturedsystems | 282 | 81 |
