scala/README
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 07 Mar 2013 11:52:08 +0000
changeset 216 38ed0ed6de3d
parent 205 c7975ab7c52e
child 225 0974c59e7029
permissions -rw-r--r--
added definition of termination for rec_exec


The packages can be compiled with

  scalac lib.scala turing.scala abacus.scala recs.scala comp1.scala comp2.scala

If you get an error, it is advisable to clean 
out the existing class-files

  rm */*.class


After compilation, the examples can be run in
the REPL as well as in scala. For example


  scala ex.scala

or

  scala -cp $PWD ex.scala


The directory can be cleaned with

  rm -rf *~ lib turing abacus comp1 comp2 recs