Ninja coding: fixing your type errors without looking at the compiler message, but just by being pointed at the error location.
@aloiscochard At least, it's what I do with Haskell. For Idris, I think pinpointing location should be higher priority than better messages.
-
-
@edwinbrady agreed, I was actually doing that with haskellThanks. 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.