What would be harder: a JVM backend for Haskell or for Idris?
-
-
Replying to @aaronmblevin
@aaronmblevin You know that the latter is already a thing, right? http://janbessai.github.io/Compilation/2013/05/07/forget-scala-a-java-backend-for-idris-update/ …1 reply 0 retweets 0 likes
Replying to @aaronmblevin
@aaronmblevin @nuttycom it's java rather than jvm and isn't currently maintained. A jvm backend is certainly doable though.
9:53 AM - 4 May 2015
0 replies
0 retweets
1 like
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.