Hacker News
Lobsters
- Idris 1.0 Released https://www.idris-lang.org/idris-1-0-released/ 7 comments programming , release
- 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
Lambda the Ultimate
Linking pages
- 10 things Idris improved over Haskell – Deque https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/ 381 comments
- Implementing Clojure-like Transducers in Idris: definitions and main concepts – Deque https://deque.blog/2017/07/28/implementing-clojure-like-transducers-in-idris-part-1/ 7 comments
- Transforming data structures into types: an introduction to dependent typing and its benefits – Deque https://deque.blog/2017/09/20/data-structure-into-types/ 6 comments
- Idris dependent typing challenge: Bowling Kata – Deque https://deque.blog/2017/07/01/idris-bowling-kata/ 0 comments
Related searches:
Search whole site: site:www.idris-lang.org
Search title: Idris 1.0
See how to search.