1
Idris
In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have…
- Popular posts
- 5
- Total points
- 1,038
- HN comments
- 141
- Rank
- #1,265 company
Visit idris-lang.org → RSS feedOn Hacker News Oct 2014 – Jan 2021
2
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 .
3
4
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 .
5