turing.scala
Thu, 21 Feb 2013 14:49:26 +0000 Christian Urban introduced sealed classes
Thu, 21 Feb 2013 14:27:14 +0000 Christian Urban compilation from Abacus to Turing in Scala
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
Mon, 18 Feb 2013 14:39:50 +0000 Christian Urban updated exponent program
Mon, 18 Feb 2013 13:33:00 +0000 Christian Urban tuned
Mon, 18 Feb 2013 13:26:27 +0000 Christian Urban added abacus machines
Mon, 18 Feb 2013 00:18:56 +0000 Christian Urban tuned
Sat, 16 Feb 2013 11:02:08 +0000 Christian Urban added some TM machines
Sat, 16 Feb 2013 09:07:07 +0000 Christian Urban added abacus programs
Fri, 15 Feb 2013 18:24:00 +0000 Christian Urban added scala file
less more (0) tip