Index of /~stough/705/coursedir/simplebool
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
Makefile 01-Apr-2009 20:45 2.2K
![[ ]](/icons/unknown.gif)
core.cmi 01-Apr-2009 21:10 396
core.cmo 01-Apr-2009 21:10 1.8K
core.ml 01-Apr-2009 20:45 1.8K
core.mli 01-Apr-2009 20:45 169
f 01-Apr-2009 21:10 131K
f-linux 01-Apr-2009 21:10 131K
f-mac 01-Apr-2009 21:10 135K
lexer.cmi 01-Apr-2009 21:10 3.1K
lexer.cmo 01-Apr-2009 21:10 11K
lexer.ml 01-Apr-2009 21:10 22K
lexer.mll 01-Apr-2009 20:45 5.7K
main.cmi 01-Apr-2009 21:10 1.6K
main.cmo 01-Apr-2009 21:10 3.3K
main.ml 01-Apr-2009 20:45 2.4K
parser.cmi 01-Apr-2009 21:10 3.0K
parser.cmo 01-Apr-2009 21:10 6.5K
parser.ml 01-Apr-2009 20:47 17K
parser.mli 01-Apr-2009 20:47 1.8K
parser.mly 01-Apr-2009 20:45 5.4K
parser.output 01-Apr-2009 20:47 5.7K
support.cmi 01-Apr-2009 21:10 1.0K
support.cmo 01-Apr-2009 21:10 1.7K
support.ml 01-Apr-2009 20:45 1.2K
support.mli 01-Apr-2009 20:45 1.8K
syntax.cmi 01-Apr-2009 21:10 2.3K
syntax.cmo 01-Apr-2009 21:10 5.8K
syntax.ml 01-Apr-2009 20:45 5.9K
syntax.mli 01-Apr-2009 20:45 1.2K
test.f 01-Apr-2009 20:45 152
To create the executable for the simply typed 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 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.