Maintainership

[reynir]

I moved this repository to @idris-industry because I haven't been keeping up with Idris for a few years. I hope someone else will maintain this repository.

@doofin - are you interested?

[doofin]

Thanks! I would like to work on this