scala/ex.scala
2013-07-17 Christian Urban added slides
2013-06-26 Christian Urban some tests are commented out
2013-06-26 Christian Urban implemented new UF in scala; made some small adjustments to the definitions in the theory
2013-04-25 Christian Urban added improved Recsursive function theory (not yet finished)
2013-04-24 Christian Urban updated
2013-03-14 Christian Urban tuned
2013-03-14 Christian Urban added an abacus to javabyte code compiler
less more (0) -10 -7 tip