idris
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Idris 2 version 0.6.0 Released |
![]() ![]() |
0 | 578 | 28 October 2022 |
Idris 2 version 0.5.1 Released |
![]() ![]() |
0 | 688 | 20 September 2021 |
Idris 2 version 0.5.0 Released |
![]() ![]() |
0 | 709 | 18 September 2021 |
Idris 2 version 0.4.0 Released |
![]() ![]() |
0 | 779 | 23 June 2021 |
Typing is Hard |
![]() ![]() |
0 | 1350 | 15 February 2021 |
Idris 2 version 0.3.0 Released |
![]() ![]() |
0 | 876 | 13 January 2021 |
Idris 2 version 0.2.2 Released |
![]() ![]() |
0 | 903 | 12 January 2021 |
[Official News] Idris 2 version 0.2.1 Released |
![]() ![]() |
1 | 967 | 25 November 2020 |
Seven More Languages in Seven Weeks (PragProg) |
![]() |
0 | 1239 | 29 April 2020 |