@ydewit Hi Yuri, I'm wondering what happened with your Idris GraalVM project, idris-ivor?
-
-
Is that basically a new implementation only or broader? Is there any literature you can point us, if I may ask?
-
It'd be a huge win if it would target JVM/GraalVM.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.