Hacker News
- Idris: A language for type-driven development https://www.idris-lang.org/ 185 comments
- Idris 2 version 0.3.0 https://www.idris-lang.org/idris-2-version-030-released.html 2 comments
- Idris 2 version 0.2.1 https://www.idris-lang.org/idris-2-version-021-released.html 16 comments
- Idris 0.9.15 released – partial evaluation and uniqueness types http://www.idris-lang.org/idris-0-9-15-released/ 9 comments
- Idris - pure functional programming language with dependent types http://idris-lang.org/ 15 comments
Lobsters
- Idris 2 version 0.3.0 Released https://www.idris-lang.org/idris-2-version-030-released.html 2 comments compilers , release
- Idris 2 version 0.2.1 Released https://www.idris-lang.org/idris-2-version-021-released.html 8 comments plt , release
- Idris 2 version 0.2.0 Released https://www.idris-lang.org/idris-2-version-020-released.html 7 comments compilers , release
- Idris 2 version 0.1.0 Released https://www.idris-lang.org/idris-2-version-010-released.html 4 comments formalmethods
- Idris 1.0 Released https://www.idris-lang.org/idris-1-0-released/ 7 comments programming , release
- Towards Idris Version 1.0 http://www.idris-lang.org/towards-version-1-0/ 4 comments programming
- Idris 0.9.15.1 released http://www.idris-lang.org/idris-0-9-15-released/ 2 comments programming
- Idris 2 version 0.3.0 Released https://www.idris-lang.org/idris-2-version-030-released.html 6 comments idris
- Where can I find standard library docs? https://www.idris-lang.org/docs/current/base_doc/docs/Prelude.Strings.html 9 comments idris
- Idris2 v0.2.0 Released https://www.idris-lang.org/idris-2-version-020-released.html 3 comments idris
- Idris 1.3.2 released https://www.idris-lang.org/idris-1-3-2-released/ 3 comments idris
- Idris is a general purpose pure functional programming language with dependent types https://www.idris-lang.org/ 10 comments programming
- Idris 1.2.0 released https://www.idris-lang.org/idris-1-2-0-released/ 10 comments haskell
- Idris 1.0 Released https://www.idris-lang.org/idris-1-0-released/ 28 comments compsci
- Idris 1.0 Released https://www.idris-lang.org/idris-1-0-released/ 54 comments haskell
- Idris 1.0 Released https://www.idris-lang.org/idris-1-0-released/ 31 comments programming
- Idris 1.0 Released. Thanks Everyone! https://www.idris-lang.org/idris-1-0-released/ 7 comments idris
- Idris 0.99.1 Released http://www.idris-lang.org/idris-0-99-1-released/ 5 comments idris
- Towards Idris Version 1.0 http://www.idris-lang.org/towards-version-1-0/ 45 comments haskell
- Towards Idris Version 1.0 http://www.idris-lang.org/towards-version-1-0/ 52 comments programming
- Contracts should be written in language similar to Idris. Idris has built in theorem proving. http://www.idris-lang.org/ 5 comments ethereum
- Idris 0.10 Released http://www.idris-lang.org/idris-0-10-released/ 31 comments programming
- Idris 0.9.19 released with syntax extensions at the declaration level http://www.idris-lang.org/idris-0-9-19-released/ 8 comments programming
- Idris 0.9.18 released, with fancier records, lots of bug fixes, and Agda-style highlighting in Emacs http://www.idris-lang.org/idris-0-9-18-released/ 26 comments haskell
- Idris has a logo http://www.idris-lang.org/logo/logo.png 4 comments idris
- Version 0.9.15 of dependently typed functional language Idris released: with partial evaluation, uniqueness types, and library cleanups http://www.idris-lang.org/idris-0-9-15-released/ 15 comments programming
- Idris 0.9.15 released: partial evaluator, uniqueness types, library cleanups, and fancier docs. http://www.idris-lang.org/idris-0-9-15-released/ 52 comments haskell
- Idris 0.9.14 released, with updated JavaScript backend, quasiquotes, and lots of internal cleanups and improvements http://www.idris-lang.org/idris-0-9-14-released/ 11 comments haskell
- Rust-Graphics, Expression Problem, Idris and Rust http://www.idris-lang.org/ 11 comments rust
- Version 0.9.13 of the dependently-typed functional language Idris released, with better erasure of unused data, improved IDE support, and tools for searching types and generating HTML docs http://www.idris-lang.org/idris-0-9-13-released/ 6 comments programming
- Idris 0.9.13 released, featuring a new erasure implementation, Haddock- and Hoogle-inspired tools, and improved IDE support http://www.idris-lang.org/idris-0-9-13-released/ 5 comments haskell
- New release 0.9.11 of dependently typed language Idris http://www.idris-lang.org/idris-0-9-11-released/ 5 comments haskell
- Idris 0.9.10 released http://www.idris-lang.org/idris-0-9-10-released/ 21 comments haskell
- New release of the dependently-typed language Idris that focuses on practical programming with dependent types http://idris-lang.org/archives/272 14 comments programming
- ANN: Idris 0.9.8 released http://idris-lang.org/archives/272 58 comments haskell
- Idris - A language with dependent types http://idris-lang.org/ 30 comments haskell
Lambda the Ultimate
Linking pages
- GitHub - ossu/computer-science: Path to a free self-taught education in Computer Science! https://github.com/ossu/computer-science 1019 comments
- Six programming paradigms that will change how you think about coding https://www.ybrikman.com/writing/2014/04/09/six-programming-paradigms-that-will/ 573 comments
- GitHub - ossu/computer-science: Path to a free self-taught education in Computer Science! https://github.com/open-source-society/computer-science-and-engineering 380 comments
- post-rfc/sotu.md at main · Gabriella439/post-rfc · GitHub https://github.com/Gabriel439/post-rfc/blob/master/sotu.md 333 comments
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/why-dependent-haskell 298 comments
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/2018/12/17/why-dependent-haskell 227 comments
- Features of a dream programming language - DEV Community 👩💻👨💻 https://dev.to/redbar0n/features-of-a-dream-programming-language-cio 222 comments
- Wesley Aptekar-Cassels | Languages I want to write https://blog.wesleyac.com/posts/language-todos 202 comments
- GitHub - ossu/computer-science: Path to a free self-taught education in Computer Science! https://github.com/open-source-society/computer-science 201 comments
- Elm at Rakuten | Rakuten Engineering Blog https://engineering.rakuten.today/post/elm-at-rakuten/ 172 comments
- Why TDD Isn't Crap • Hillel Wayne https://www.hillelwayne.com/post/why-tdd-isnt-crap/ 165 comments
- GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/kindelia/kind 158 comments
- 10 Lesser-Known Programming Languages Worth Exploring | Programming Zen http://programmingzen.com/2016/06/07/10-lesser-known-programming-languages-worth-exploring/ 153 comments
- The Future of Programming is Dependent Types — Programming Word of the Day | by Marin Benčević | Background Thread | Medium https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878 152 comments
- GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/uwu-tech/Kind 116 comments
- What is Type-Level Programming? - sulami's blog https://blog.sulami.xyz/posts/type-level-programming/ 93 comments
- Episode 2: Edwin Brady on Idris | The Type Theory Podcast http://typetheorypodcast.com/2014/09/episode-2-edwin-brady-on-idris/ 87 comments
- Little Languages | Max Hallinan https://maxhallinan.com/posts/2018/12/07/little-languages/ 70 comments
- Evgeny Poberezkin - What I wish somebody told me when I was learning Haskell https://www.poberezkin.com/posts/2021-04-21-what-i-wish-somebody-told-me-when-i-was-learning-Haskell.html 68 comments
- A Brief Introduction to Esoteric Languages https://www.hillelwayne.com/talks/esolangs/ 64 comments