Welcome to my TED talk, "A brief tour of things that absolutely should not be Turing Complete, but nevertheless are". First up, LaTeX. Next, Transport Tycoon. Followed by DNA. Yes. DNA.
-
-
implying that latex errors do not have small world properties
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I usually just delete the part of the document which eminates the most malice
-
I suppose if LaTeX doesn't like it, reviewer 2 isn't going to like it either
End of conversation
New conversation -
-
-
"ah yeah, there was a really nice explanation of how existential quantifiers were handled in Idris. Unfortunately, it got taken out during a latex debugging session."
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.