nightscape/blodwen

Blodwen is a dependently typed programming language and a potential successor to the Idris language

Latest release: almost 8 years ago - 127 downloads - 84 dependencies