6 ms·
There is also Idris 2 for JVM (https://github.com/mmhelloworld/idris-jvm https://github.com/mmhelloworld/idris-jvm) Frege targets Java source code, which is th
by J-Kuhn 3mo ago
There is also Idris 2 for JVM (https://github.com/mmhelloworld/idris-jvm https://github.com/mmhelloworld/idris-jvm)
Frege targets Java source code, which is then compiled by javac - the downside of that approach is you can not preserve the line numbers for debug information.