It seems that "this works in Agda" is an effective way to make me stop what I'm doing and investigate a bug report quickly...
@ozgurakgun Or maybe like me trolling Oleg by saying "This is impossible in Haskell"...
-
-
@edwinbrady yes yes, this sounds more accurate :)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.