I'd also like to know the answer to this, but I run out of patience too quickly whenever I try, and my Scheme backend for Blodwen outperforms Idris by about 50% anyway...https://twitter.com/michael_w_hicks/status/1034163081675526147 …
-
-
Right, Racket itself does solve those problems -- the library for generating LLVM that Jacques points to doesn't.
-
Ah, I see. Honestly though at this stage I just like using a run time system that someone else has done much better than I ever could! But I'm still going to wish for an llvm expert to give it a go...
End of conversation
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.