GitHub - edwinb/Idris2: A purely functional programming language with first class types - discu.eu

Reddit

Idris 2 is now public https://github.com/edwinb/Idris2 14 comments 8/7/2019 idris

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

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.

Submit link to: