@dibblego but the compiler found all the bugs didn't it?
-
-
-
@delitescere Nobody has ever made that claim.
End of conversation
New conversation -
-
-
@psnively@delitescere by#coq you mean#agda :) kiddin'. Anyway, this bug, like most, would not get passed any effect-tracking system.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.