Index of /~stough/705/coursedir/untyped
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
Makefile 05-Mar-2009 13:40 2.2K
![[ ]](/icons/unknown.gif)
core.cmi 01-Apr-2009 20:45 299
core.cmo 01-Apr-2009 20:45 845
core.ml 05-Mar-2009 13:40 663
core.mli 05-Mar-2009 13:40 134
f 01-Apr-2009 20:29 129K
f-linux 01-Apr-2009 20:30 129K
f-mac 01-Apr-2009 20:45 129K
lexer.cmi 01-Apr-2009 20:45 3.1K
lexer.cmo 01-Apr-2009 20:45 11K
lexer.ml 01-Apr-2009 20:45 22K
lexer.mll 05-Mar-2009 13:40 5.5K
main.cmi 01-Apr-2009 20:45 1.5K
main.cmo 01-Apr-2009 20:45 3.0K
main.ml 05-Mar-2009 13:40 2.2K
parser.cmi 01-Apr-2009 20:45 2.8K
parser.cmo 01-Apr-2009 20:45 4.9K
parser.ml 01-Apr-2009 20:29 14K
parser.mli 01-Apr-2009 20:29 1.6K
parser.mly 05-Mar-2009 13:40 4.6K
parser.output 01-Apr-2009 20:29 2.8K
plus-test.f 12-Mar-2009 12:38 268
support.cmi 01-Apr-2009 20:45 1.0K
support.cmo 01-Apr-2009 20:45 1.7K
support.ml 05-Mar-2009 13:40 1.2K
support.mli 05-Mar-2009 13:40 1.8K
syntax.cmi 01-Apr-2009 20:45 1.8K
syntax.cmo 01-Apr-2009 20:45 4.3K
syntax.ml 05-Mar-2009 13:40 4.5K
syntax.mli 05-Mar-2009 13:40 1.0K
test.f 23-Mar-2009 13:16 136
To create the executable for the untyped lambda calculus interpreter,
type
make clean
make
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.
E.g.,
./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.