home *** CD-ROM | disk | FTP | other *** search
/ back2roots/padua / padua.7z / padua / lang / gofer223.lha / demos / modular / mlamlift < prev    next >
Encoding:
Text File  |  1991-11-19  |  538 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
  4. --                    or from command line using:   gofer + mlamlift
  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.