Idris backed by XLA

[Joel]

Hi XLA devs,

Just wanted to mention that I've successfully run XLA from the Idris programming language. Much of the Idris tensor API is there already so it's just a case of adding more ops.

I'm mainly just letting you know because you might be interested, but I would also be interested to hear your opinion on how I've used XLA and if it's idiomatic.

You can read an intro to what I'm doing on reddit.

Regards,

Joel Berkeley