scala/README
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 14 Mar 2013 18:02:26 +0000
changeset 223 db6ba2232945
parent 205 c7975ab7c52e
child 225 0974c59e7029
permissions -rw-r--r--
added a stimes_ac lemma for Xingyuan


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