Index of /705/coursedir/untyped

To create the executable for the untyped lambda calculus interpreter,

  make clean

to the shell.  The executable will then be called "f", and you
can type

  ./f foo

to run the interpreter on file foo.  See test.f and plus-test.f for
examples of the input syntax.


  ./f test.f

will run test.f through the interpreter.

f-linux is the linux version of the executable, and on the CIS linux
system you can invoke it as ~stough/705/untyped/f-linux.