Lobsters
- Idris 2: Type-driven development of Idris https://www.youtube.com/watch?v=mOtKD7ml0NU 6 comments programming , video
- Edwin Brady on Blodwen - Idris successor with Linear Types and Quantitative Type Theory https://www.youtube.com/watch?v=mOtKD7ml0NU 44 comments haskell
Linking pages
- Types are the basic tool of software design https://www.tedinski.com/2018/12/05/types-as-design-tool.html 21 comments
- GitHub - edwinb/Idris2: A purely functional programming language with first class types https://github.com/edwinb/Idris2 15 comments
- GitHub - idris-lang/Idris2: A purely functional programming language with first class types https://github.com/edwinb/Idris2-SH 3 comments
- GitHub - idris-lang/Idris2: A purely functional programming language with first class types https://github.com/idris-lang/Idris2/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:www.youtube.com
Search title: Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18 - YouTube
See how to search.