Hacker News
- Idris: A language for type-driven development https://www.idris-lang.org/ 185 comments
- Safer smart contracts through type-driven development in idris [pdf] http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf 2 comments
Lobsters
- Type-Driven Development with Idris https://www.manning.com/books/type-driven-development 4 comments book
- Idris 2: Type-driven development of Idris https://www.youtube.com/watch?v=mOtKD7ml0NU 6 comments programming , video
- Type-Driven Development in Idris — Edwin Brady https://www.youtube.com/watch?v=X36ye-1x_HQ 13 comments programming , video
- Idris 2: Type-driven development of Idris https://www.youtube.com/watch?amp%3Bv=mOtKD7ml0NU&reload=9 27 comments programming
- Type-Driven Development with Idris [MEAP] https://www.manning.com/books/type-driven-development 5 comments scala
- Type-Driven Development with Idris (MEAP) https://www.manning.com/books/type-driven-development 31 comments haskell
- Idris 2 - Type-driven Development of Idris - Curry On 2019 - Edwin Brady https://www.youtube.com/watch?v=DRq2NgeFcO0 7 comments programming
- Safer smart contracts through type-driven development : Idris https://www.reddit.com/r/idris/comments/4or5m0/safer_smart_contracts_through_typedriven/ 6 comments programming
- Idris 2: Type-driven development of Idris - Edwin Brady @ Code Mesh LDN - 08-09 Nov 18 https://codesync.global/speaker/edwin-brady/?utm_source=Reddit&utm_medium=Code%20Sync&utm_campaign=Code%20Mesh%20LDN%2018 5 comments idris