| 2013-02-22 | Christian Urban |
updated Scala files | changeset | files |
| 2013-02-21 | Christian Urban |
split up scala-file into separate components | changeset | files |
| 2013-02-21 | Christian Urban |
introduced sealed classes | changeset | files |
| 2013-02-21 | Christian Urban |
compilation from Abacus to Turing in Scala | changeset | files |
| 2013-02-21 | Christian Urban |
renamed sete definition to adjust and old special case of adjust to adjust0 | changeset | files |
| 2013-02-21 | Christian Urban |
parts of the Abacus translation | changeset | files |
| 2013-02-21 | Christian Urban |
tuned Scala implementation | changeset | files |
| 2013-02-19 | Christian Urban |
polished some typos in the paper | changeset | files |
| 2013-02-19 | Christian Urban |
added link and comment to fourth edition of Boolos | changeset | files |
| 2013-02-19 | Christian Urban |
added clear-definition to paper | changeset | files |
| 2013-02-19 | Christian Urban |
added newer ROOT file | changeset | files |
| 2013-02-18 | Christian Urban |
updated exponent program | changeset | files |
| Loading... | |||