home *** CD-ROM | disk | FTP | other *** search
/ The Datafile PD-CD 2 / DATAFILE_PDCD2.iso / utilities / _gofer / !Gofer / archives / Demos / Modular / gp / mlamlift
Encoding:
Text File  |  1993-02-12  |  544 b   |  13 lines
  1. -- A simple project file for the modular fully-lazy lambda lifter
  2. --
  3. -- Load into Gofer interpreter using the command:   :p mlamlift.gp
  4. --                    or from command line using:   gofer + mlamlift.gp
  5. --
  6. -- See Readme file for further details.
  7.  
  8. Utility         -- implementation of utility functions and datatypes
  9. LambdaLift      -- simple lambda lifter.
  10. Laziness        -- transformations for fully-lazy lambda lifting.
  11. ../Prolog/Parse -- the parser library from the mini Prolog system
  12. Demo            -- demonstration of lamda lifting
  13.