I'm putting a bit of effort into better #idris error messages. But I can't help thinking it'd be easier if people just didn't make errors.
@geeklawyer They are but I'm not sure how well they'll generalise. Worth looking closely at how they do it though
-
-
@edwinbrady Not sure why “Your code has an error” is no longer enough. Programmers are brats. When I had an Atari ST512 …Thanks. 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.