nightscape/blodwen

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

Latest release: over 7 years ago - 127 downloads - 84 dependencies