Linking pages
- GitHub - edwinb/Blodwen: A prototype successor to Idris https://github.com/edwinb/Blodwen 18 comments
- Idris 2 version 0.1.0 Released https://www.idris-lang.org/idris-2-version-010-released.html 4 comments
- GitHub - ziman/idris-data-frame: Data frames for Idris 2 https://github.com/ziman/idris-data-frame 0 comments
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18 - YouTube https://www.youtube.com/watch?v=mOtKD7ml0NU 51 comments
- Edwin Brady - Idris 2 - Type-driven Development of Idris - YouTube https://www.youtube.com/watch?v=DRq2NgeFcO0 8 comments
- Edwin Brady Tells Us What's New in Idris 2 - YouTube https://www.youtube.com/watch?v=nbClauMCeds 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - edwinb/Idris2: A purely functional programming language with first class types
See how to search.