export CVSROOT="yourname@flexman.homeip.net:/home/cvsroot" export CVS_RSH="ssh"cvs checkout icfp2004
nedit -import Phec/Phec.pats
./run
./run.sh task/sample0.world --red=testing/initial.phec --black=Simulator/test.prog
./run --world=task/sample0.world --red=testing/initial.phec --black=Simulator/test.prog --console -s100 {codeh} to see 100 steps on the console and get report at the endComments
We use "nobr">"theme/images/Icon-Extlink.png" alt=">>" border="0"/>"http://www.haskell.org/haddock/">haddock and Allans Todo-tool that requires
"code">"error">code: null-- BlaBla @todo{fix that}
Content
Powered by SnipSnap 1.0b2-uttoxeter