Hacker News
- Idris 1.0 https://www.idris-lang.org/idris-1-0-released/ 65 comments
- Towards Idris Version 1.0 http://www.idris-lang.org/towards-version-1-0/ 49 comments
Lobsters
- 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
- Compiling States using Idris 1.0 https://github.com/edwinb/States 6 comments idris
- 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
- 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