Sign inSign up

nightscape/blodwen

By nightscape

•Updated almost 8 years ago

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

Image
0

257

nightscape/blodwen repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

Size

57.3 MB

Last updated

almost 8 years ago

docker pull nightscape/blodwen