Index of /~cscccl/lambda-examples/llambda/typeinf

      Name                    Last modified       Size  Description


[DIR] Parent Directory        07-May-2002 09:33      -  
[TXT] mlt.mod                 28-Aug-2001 15:34     9k  
[TXT] mlt.sig                 28-Aug-2001 15:34     3k