| | Idris2: A purely functional programming language with first class types (github.com/idris-lang) |
| 3 points by tosh on Nov 6, 2023 | past |
|
| | Idris 2: a purely functional programming language with first class types (github.com/idris-lang) |
| 4 points by pretext on Nov 16, 2022 | past |
|
| | Idris Developers Meeting, April 2021 (github.com/idris-lang) |
| 2 points by ska80 on March 9, 2021 | past |
|
| | New JavaScript code generator in Idris 2 (github.com/idris-lang) |
| 164 points by ska80 on July 9, 2020 | past | 27 comments |
|
| | Idris2 is now implemented in Idris2 (github.com/idris-lang) |
| 1 point by jobstijl on May 20, 2020 | past |
|
| | Uniqueness types in Idris (github.com/idris-lang) |
| 19 points by steveklabnik on Oct 27, 2014 | past |
|
| | Copatterns in Idris (github.com/idris-lang) |
| 56 points by lelf on Sept 10, 2014 | past | 13 comments |
|
