|
|
|
|
|
|
by J-Kuhn
4 days ago
|
|
|
There is also Idris 2 for 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. |
|
|