• Idris: A language for type-driven development https://www.idris-lang.org/ 185 comments 20/1/2023
• Safer smart contracts through type-driven development in idris [pdf] http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf 2 comments 20/7/2016
• A Pure Types-Driven real-world apps development approach https://medium.com/superstringtheory/an-ideal-data-model-first-development-approach-34ee53599900 38 comments 11/9/2021
• Design driven API development with type-safety across the stack https://blog.lawrencejones.dev/goa/ 2 comments 22/1/2022
• Type System vs Test Driven Development http://groups.google.com/group/haskell-cafe/browse_thread/thread/b5429b13dc7ee34 7 comments 6/1/2011

• Type-Driven Development with Idris https://www.manning.com/books/type-driven-development 4 comments 12/9/2015 book
• Idris 2: Type-driven development of Idris https://www.youtube.com/watch?v=mOtKD7ml0NU 6 comments 5/12/2018 programming , video
• Type-Driven Development in Idris — Edwin Brady https://www.youtube.com/watch?v=X36ye-1x_HQ 13 comments 4/12/2016 programming , video
• Type Driven Development with Idris (Edwin Brady's Book) is finished! https://twitter.com/edwinbrady/status/841694193877671936 10 comments 16/3/2017 book

• Type-Driven Development with TypeScript http://www.olioapps.com/blog/type-driven-development-with-typescript/ 5 comments 12/2/2018 typescript
• type-driven development in Python https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/ 18 comments 26/2/2023 python
• Idris 2: Type-driven development of Idris https://www.youtube.com/watch?amp%3Bv=mOtKD7ml0NU&reload=9 27 comments 5/12/2018 programming
• Introduction to Type-Driven Development with Rust https://medium.com/@11takanori/introduction-to-type-driven-development-with-rust-6f8a767cc3df?source=friends_link&sk=91f9cca48aa5b2ba4cf562a678af404e 26 comments 25/2/2020 rust
• Type-Driven Development with Idris [MEAP] https://www.manning.com/books/type-driven-development 5 comments 11/9/2015 scala
• Type-Driven Development with Idris (MEAP) https://www.manning.com/books/type-driven-development 31 comments 10/9/2015 haskell
• Idris 2 - Type-driven Development of Idris - Curry On 2019 - Edwin Brady https://www.youtube.com/watch?v=DRq2NgeFcO0 7 comments 18/7/2019 programming
• Safer smart contracts through type-driven development : Idris https://www.reddit.com/r/idris/comments/4or5m0/safer_smart_contracts_through_typedriven/ 6 comments 20/6/2016 programming
• Type-Driven Development - How to model a currencies, money, and banks that exchange money between currencies? http://stackoverflow.com/questions/27408873/how-to-model-a-currencies-money-and-banks-that-exchange-money-between-currenci 6 comments 10/12/2014 haskell
• 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 18/10/2018 idris
• Building an application in Scala using Type Driven Development http://underscore.io/blog/posts/2017/04/11/type-tetris.html 12 comments 13/4/2017 scala
• Interview with Edwin Brady on Idris and Type Driven Development https://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady 10 comments 30/1/2018 programming