GitHub - edwinb/Blodwen: A prototype successor to Idris - discu.eu

Reddit

Compare Idris 2 's linear tying to Rust? https://github.com/edwinb/Blodwen 9 comments 30/4/2019 idris

Idris 2 has Chez Scheme based backend https://github.com/edwinb/blodwen/blob/master/readme.md 8 comments 19/10/2018 programming

Linked pages

GitHub - edwinb/Idris2: A purely functional programming language with first class types https://github.com/edwinb/Idris2 15 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - edwinb/Blodwen: A prototype successor to Idris

See how to search.

Submit link to: