Does there exist a total (dependently typed) FP language that I can invoke from Java?
-
-
A real JVM backend for Idris would be amazing. Like actually amazing. Ditto the multicore bit.
-
A work-in-progress Idris JVM backend I am working onhttps://github.com/mmhelloworld/idris-jvm …
- 7 more replies
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.