mmhelloworld

7 ms·

1. 1.▲
   Idris JVM 0.7.0 Release(mmhelloworld.github.io)

   5 points by mmhelloworld 2y ago|2 comments
2. 2.▲
   by mmhelloworld 4y ago

   This file https://github.com/mmhelloworld/idris-jvm/blob/main/libs/bas... demonstrates how the interop looks like currently. The `%foreign` directive takes an FFI descriptor to talk to the respectiv
3. 3.▲
   by mmhelloworld 4y ago

   In the JVM backend, recursive calls are eliminated with loop. There is an option to enable trampoline for functions but I am currently working on replacing mutual recursion with loops so with that the trampoline option might be removed. As
4. 4.▲
   by mmhelloworld 4y ago

   Hello, I am the author of Idris JVM. Thank you for your feedback. I will update the README to include a link for JVM interop. For now, this file https://github.com/mmhelloworld/idris-jvm/blob/main/libs&#x