@propensive my 'ead 'urts
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@extempore2 Oh. Exhaustive search could prove that unbeatable. What's your current record, given that 1+=1 works now?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@extempore2 Right, I guess so... ;) -
@propensive@extempore2 What's scarier? Playing code golf with compiler crashes or the fact that the reproduction fits into a tweet? ;-)
End of conversation
New conversation -
-
-
@propensive def A(b:c.type#D); -
@propensive shorter by 1; reproduced in the REPL
End of conversation
New conversation -
-
-
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.