idris-java icon indicating copy to clipboard operation
idris-java copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

Maintainer?

Open aaronc opened this issue 9 years ago • 2 comments

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

aaronc avatar Jan 12 '16 16:01 aaronc

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.

bgaster avatar Jan 12 '16 18:01 bgaster

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.

aaronc avatar Jan 12 '16 19:01 aaronc