- Types are the basic tool of software design https://www.tedinski.com/2018/12/05/types-as-design-tool.html 21 comments programming
Linked pages
- Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18 - YouTube https://www.youtube.com/watch?v=mOtKD7ml0NU 51 comments
- Law of Demeter - Wikipedia https://en.wikipedia.org/wiki/Law_of_Demeter 48 comments
- Type-Driven Development with Idris https://www.manning.com/books/type-driven-development-with-idris 1 comment
Related searches:
Search whole site: site:tedinski.com
Search title: Types are the basic tool of software design
See how to search.