Hooray! All tests pass on the new, Boehm-free, Idris run time system. Ship it!
-
-
@edwinbrady@thedagit that monad instance thing I was confused by or another issue?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady Same. I always wait till the next HP release is closer to upgrade my ghc. Not paying the full early adopter tax is nice. -
@thedagit@edwinbrady but that can lead to a tragedy of commons if not enough folks hammer things out before then!
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.