A concise, universal formalism suitable for reasoning about the Forbidden Dance.

Emacs once gave me (thanks to dissociated-press) the word `calculust'. I found this highly amusing.

Lambada calculus is, of course, the forbidden maths.

The Church-Rosser theorem of lambada calculus states that, if a given person starts dancing on two different occasions, then (assuming e stops both times) e will after dancing end up in the same state each time.

Log in or register to write something here or to contact authors.