edwinb/Blodwen

A prototype successor to Idris

2 best points · 1 comments · 3 Hacker News posts · 540 GitHub stars · View on GitHub

Hacker News discussions

• Blodwen – a dependently typed core language implemented in Idris (2 points, 0 comments, by EvgeniyZh, 2017-10-30)
• README.md at master – edwinb/Blodwen (2 points, 0 comments, by ScottWRobinson, 2018-10-19)
• Blodwen: A prototype successor to Idris (2 points, 1 comments, by espeed, 2018-12-04)