2013-02-21 | Christian Urban |
parts of the Abacus translation | file | diff | annotate |
2013-02-21 | Christian Urban |
tuned Scala implementation | file | diff | annotate |
2013-02-18 | Christian Urban |
updated exponent program | file | diff | annotate |
2013-02-18 | Christian Urban |
tuned | file | diff | annotate |
2013-02-18 | Christian Urban |
added abacus machines | file | diff | annotate |
2013-02-18 | Christian Urban |
tuned | file | diff | annotate |
2013-02-16 | Christian Urban |
added some TM machines | file | diff | annotate |
2013-02-16 | Christian Urban |
added abacus programs | file | diff | annotate |
2013-02-15 | Christian Urban |
added scala file | file | diff | annotate |