Thu, 21 Feb 2013 14:27:14 +0000 Christian Urban compilation from Abacus to Turing in Scala
Thu, 21 Feb 2013 05:34:39 +0000 Christian Urban renamed sete definition to adjust and old special case of adjust to adjust0
Thu, 21 Feb 2013 05:33:57 +0000 Christian Urban parts of the Abacus translation
Thu, 21 Feb 2013 00:34:41 +0000 Christian Urban tuned Scala implementation
Tue, 19 Feb 2013 13:36:35 +0000 Christian Urban polished some typos in the paper
Tue, 19 Feb 2013 05:11:33 +0000 Christian Urban added link and comment to fourth edition of Boolos
Tue, 19 Feb 2013 04:56:33 +0000 Christian Urban added clear-definition to paper
(0) -100 -30 -10 -7 +7 +10 +30 +100 tip