| | Idris: A language for type-driven development (idris-lang.org) |
|
275 points by peter_d_sherman on Jan 20, 2023 | past | 185 comments
|
|
| | Idris 2 version 0.6.0 Released (idris-lang.org) |
|
47 points by todsacerdoti on Oct 30, 2022 | past | 6 comments
|
|
| | Idris 2 version 0.5.0 Released (idris-lang.org) |
|
8 points by ska80 on Sept 18, 2021 | past
|
|
| | Idris 2 version 0.4.0 Released (idris-lang.org) |
|
5 points by fabianhjr on June 23, 2021 | past
|
|
| | Idris 2 version 0.3.0 (idris-lang.org) |
|
246 points by insulanian on Jan 14, 2021 | past | 2 comments
|
|
| | Idris 2 version 0.3.0 Released (idris-lang.org) |
|
3 points by todsacerdoti on Jan 13, 2021 | past | 2 comments
|
|
| | Idris: A Language for Type-Driven Development (idris-lang.org) |
|
21 points by piotrzientara on Aug 17, 2020 | past
|
|
| | Idris 2 version 0.2.1 (idris-lang.org) |
|
129 points by thomasdziedzic on Aug 17, 2020 | past | 16 comments
|
|
| | Idris 2 v0.2.0 Released (idris-lang.org) |
|
7 points by fabianhjr on May 25, 2020 | past
|
|
| | An initial version of Idris 2, version 0.1.0, released (idris-lang.org) |
|
3 points by lelf on April 1, 2020 | past
|
|
| | Idris 2 version 0.1.0 Released (idris-lang.org) |
|
4 points by ska80 on April 1, 2020 | past
|
|
| | Syntax Extensions in Idris (idris-lang.org) |
|
9 points by nathcd on March 21, 2019 | past
|
|
| | Idris 1.3.0 released (idris-lang.org) |
|
2 points by ska80 on May 26, 2018 | past
|
|
| | Implementing State-Aware Systems in Idris: The ST Tutorial (idris-lang.org) |
|
2 points by RossBencina on Feb 27, 2018 | past
|
|
| | Dependently Typed State Machines [pdf] (idris-lang.org) |
|
1 point by noch on Aug 25, 2017 | past
|
|
| | Idris 1.1.0 released (idris-lang.org) |
|
2 points by subtenante on Aug 1, 2017 | past
|
|
| | Idris 1.0 (idris-lang.org) |
|
324 points by insulanian on April 1, 2017 | past | 65 comments
|
|
| | Idris 0.99.2 Released (idris-lang.org) |
|
1 point by subtenante on March 29, 2017 | past
|
|
| | Idris 0.99 Released (idris-lang.org) |
|
2 points by psibi on Dec 4, 2016 | past
|
|
| | Towards Idris Version 1.0 (idris-lang.org) |
|
236 points by yomritoyj on Nov 30, 2016 | past | 49 comments
|
|
| | Idris: Towards Version 1.0 (idris-lang.org) |
|
2 points by frankpf on Nov 29, 2016 | past
|
|
| | Towards Version 1.0 [of the dependently-typed Idris programming language] (idris-lang.org) |
|
2 points by waffle_ss on Nov 29, 2016 | past
|
|
| | Idris – A Language with Dependent Types (idris-lang.org) |
|
2 points by _zhqs on Aug 24, 2016 | past
|
|
| | Uniqueness types: add side effects keeping referential transparency (idris-lang.org) |
|
1 point by rnhmjoj on May 6, 2016 | past
|
|
| | Idris: A Language with Dependent Types (idris-lang.org) |
|
2 points by tosh on Jan 7, 2016 | past
|
|
| | Dependent types – Idris documentation (idris-lang.org) |
|
2 points by pyotrgalois on Sept 2, 2015 | past
|
|
| | Idris 0.9.18 released (idris-lang.org) |
|
3 points by psibi on May 18, 2015 | past
|
|
| | Idris: Language with Dependent types (idris-lang.org) |
|
12 points by rshetty on April 18, 2015 | past
|
|
| | Idris – A Language with Dependent Types (idris-lang.org) |
|
1 point by dmmalam on Feb 19, 2015 | past
|
|
| | Idris 0.9.15 released – partial evaluation and uniqueness types (idris-lang.org) |
|
103 points by logicchains on Oct 27, 2014 | past | 9 comments
|
|
|
|
More |
