On self hosting, Idris JVM backend will soon be self hosting (almost done with direct porting from Haskell to Idris)https://twitter.com/idrislang/status/848551646560997378 …
-
-
yes, it uses portable codegen.
-
it'll be interesting to know how the performance compares, and if there are things we need to work on to improve that...
- 3 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.