@edwinbrady @psnively there's often a good structurally recursive algorithm lurking behind one that isn't. Infinity, on the other hand... :)
@psnively With more practice we might begin to find that almost everything is naturally total anyway... @copumpkin
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@psnively pleasant coinduction is one of those things I wish more smart people would spend time thinking about :)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.