Maintainer?

[aaronc]

Is there a maintainer for this project? @bgaster are you still working on this? If not, I'm willing to take over the maintainer role for now as I'm actively working with this backend and improving as I go along: https://github.com/aaronc/idris-java

[bgaster]

I've not had much time to work on it, but happy to still continue as a maintainer. If you are happy to also be a contributor, then I think it would be fine for you to join with writer rights.

[aaronc]

Great. Happy to collaborate on this.

The one big change I have made in my fork which you should be aware of that I changed the encoding of Idris's Int to Java long as opposed to int. I'm not sure there's a convincing case for limiting the width of Int to 32 bits when Java has a quite portable 64 bit long.