2013-07-17 | Christian Urban |
added slides | file | diff | annotate |
2013-06-26 | Christian Urban |
some tests are commented out | file | diff | annotate |
2013-06-26 | Christian Urban |
implemented new UF in scala; made some small adjustments to the definitions in the theory | file | diff | annotate |
2013-04-25 | Christian Urban |
added improved Recsursive function theory (not yet finished) | file | diff | annotate |
2013-04-24 | Christian Urban |
updated | file | diff | annotate |
2013-03-14 | Christian Urban |
tuned | file | diff | annotate |
2013-03-14 | Christian Urban |
added an abacus to javabyte code compiler | file | diff | annotate |