@edwinbrady There is precedence:https://twitter.com/bos31337/status/116372971509121025 …
-
-
-
@jozefg28 Yes, I've been referring to that story for a while :). It is one of my favourite ever bugs.
End of conversation
New conversation -
-
-
@edwinbrady Imitate https://github.com/munificent/vigil … and delete code that fails to type check? -
@TrueFarnz Best way not to get any repetitive faults, yes. - 1 more reply
New conversation -
-
-
@edwinbrady I believe chrisdone has code to autotweet ghc type errors. This would be a fun Idris feature :)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@ozgurakgun @ozgurused to just print "unexpected g" for almost all errors. Worked well for him!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.