2 ms·
see also https://github.com/Frege/frege https://github.com/Frege/frege and https://github.com/mchav/froid https://github.com/mchav/froid (though both are kind o
by internet_points 4mo ago
see also https://github.com/Frege/frege https://github.com/Frege/frege and https://github.com/mchav/froid https://github.com/mchav/froid (though both are kind of dead I guess?)
- J-Kuhn 4mo agoThere 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.