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)