Name                    Last modified       Size  Description

 Parent Directory        15-Jun-2007 16:13      -  
 infer.stdout            21-Feb-2007 20:17     1k  
 infer.stdin             21-Feb-2007 20:17     1k  
 infer.hs                22-Feb-2007 09:54     1k  
 infer.expected          22-Feb-2007 20:00     1k  
 Type.hs                 21-Feb-2007 20:17     3k  
 TestType.hs             21-Feb-2007 20:17     1k  
 TestTerm.hs             21-Feb-2007 20:17     1k  
 Term.hs                 21-Feb-2007 20:17     3k  
 Substitution.hs         21-Feb-2007 20:17     2k  
 StateX.hs               21-Feb-2007 20:17     1k  
 State.hs                21-Feb-2007 20:17     1k  
 Shows.hs                21-Feb-2007 20:17     1k  
 Parse.hs                21-Feb-2007 20:17     4k  
 MyList.hs               21-Feb-2007 20:17     1k  
 MaybeM.hs               21-Feb-2007 20:17     1k  
 Makefile                21-Feb-2007 20:17     1k  
 InferMonad.hs           21-Feb-2007 20:17     3k  
 InferIt.hs              22-Feb-2007 01:55     3k  
 FiniteMap.hs            21-Feb-2007 20:17     2k  
 Environment.hs          21-Feb-2007 20:17     2k