Important milestone in new Idris back end! It prints 4 when calculating 2+2. Hooray for science.
@cartazio Hopefully when the basic version is up and running, helping out will be easy! The IR is a simple first order untyped language.
-
-
@edwinbrady saner in the sense of being to run any model algorithms empirically before trying to prove stuff I mean :-) -
@cartazio you want to run your programs too? How strange. :-) - 1 more reply
New conversation -
-
-
@edwinbrady excellence. I hope to do some heavy numerical algorithm modelling with agda or idris in the near future :-). Idris looks sanerThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.