- Idris 2 - Type-driven Development of Idris - Curry On 2019 - Edwin Brady https://www.youtube.com/watch?v=DRq2NgeFcO0 7 comments programming
Linking pages
- GitHub - edwinb/Idris2: A purely functional programming language with first class types https://github.com/edwinb/Idris2 15 comments
- Infrequent, Pragmatic, Lambda Blog - Type Enthusiast's Notes about TypeScript. Part 6. Reasoning using Types https://rpeszek.github.io/posts/2022-03-13-ts-types-part6.html 12 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
Related searches:
Search whole site: site:youtu.be
Search title: Edwin Brady - Idris 2 - Type-driven Development of Idris - YouTube
See how to search.