https://github.com/ziman/blodwen

https://github.com/ziman/blodwen

Last synced: 4 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/ziman/blodwen
• Owner: ziman
• License: other
• Created: 2017-06-17T21:47:48.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2017-06-17T21:49:28.000Z (almost 9 years ago)
• Last Synced: 2025-07-05T08:05:22.251Z (11 months ago)
• Language: Idris
• Size: 48.8 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
Blodwen

-------

This is a small dependently typed core language, implemented in Idris. It

might become something more interesting one day, or it might not.

Either way, please don't get too excited, it might take a while.

(Why "Blodwen"? The answer is here: http://ivortheengine.wikia.com/wiki/Idris)