Wed, 17 Jul 2013 10:33:19 +0100 | Christian Urban |
added slides | file | diff | annotate |
Wed, 26 Jun 2013 14:42:42 +0100 | Christian Urban |
some tests are commented out | file | diff | annotate |
Wed, 26 Jun 2013 14:35:43 +0100 | Christian Urban |
implemented new UF in scala; made some small adjustments to the definitions in the theory | file | diff | annotate |
Thu, 25 Apr 2013 21:37:05 +0100 | Christian Urban |
added improved Recsursive function theory (not yet finished) | file | diff | annotate |
Wed, 24 Apr 2013 09:49:00 +0100 | Christian Urban |
updated | file | diff | annotate |
Thu, 14 Mar 2013 19:03:05 +0000 | Christian Urban |
tuned | file | diff | annotate |
Thu, 14 Mar 2013 18:46:34 +0000 | Christian Urban |
added an abacus to javabyte code compiler | file | diff | annotate |