home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
gofer230.zip
/
Progs
/
Gofer
/
Demos
/
Modular
/
mlamlift.gp
< prev
next >
Wrap
Text File
|
1994-06-23
|
544b
|
13 lines
-- A simple project file for the modular fully-lazy lambda lifter
--
-- Load into Gofer interpreter using the command: :p mlamlift.gp
-- or from command line using: gofer + mlamlift.gp
--
-- See Readme file for further details.
Utility -- implementation of utility functions and datatypes
LambdaLift -- simple lambda lifter.
Laziness -- transformations for fully-lazy lambda lifting.
../Prolog/Parse -- the parser library from the mini Prolog system
Demo -- demonstration of lamda lifting