For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You