Important milestone in new Idris back end! It prints 4 when calculating 2+2. Hooray for science.
@cartazio I want something that doesn't rely on Boehm GC and is more easily retargettable.
-
-
@edwinbrady I like those goals. If I have bandwidth, I'd love to help out. :-( -
@cartazio Hopefully when the basic version is up and running, helping out will be easy! The IR is a simple first order untyped language. - 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.