LLVM backend for dependently typed languages

[dumblob]

Just came across this and wanted to share it with the Kind community:

https://github.com/tolziplohu/durin

It might or might not come handy at some point (as a source of inspiration or "yet another target to compile to" etc.).