Benedict Gaster

Will do.

While I've been working on the Java backend for Idris, I'm not sure that this is the best approach for Android. In particular, there are some advantages to using the...

Just wanted to ping this! But also I was wondering if it might be possible to have the API support one or more of the following: - note insertion of...

Another feature that would be really useful for the Push is: - API function to select clip that is "active", which in active state would pass through midi on atom.receiveNoteOn...

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...

I've added instructions on how to install. There are also basic instructions on how to use the JAVA_IO monad. I'm working on a short tutorial but I see this as...