--rw-r--r-- bootes sys 2096 Sep 19  2009 Environment.hs
--rw-r--r-- fernan sys 2052 Sep 19  2009 FiniteMap.hs
--rw-r--r-- fernan sys 2824 Sep 19  2009 Infer.hs
--rw-r--r-- fernan sys 2884 Sep 19  2009 InferMonad.hs
--rw-r--r-- fernan sys  992 Sep 19  2009 Main.hs
--rw-r--r-- fernan sys 1188 Sep 19  2009 Maybe.hs
--rw-r--r-- fernan sys  272 Sep 19  2009 MyList.hs
--rw-r--r-- bootes sys 4408 Sep 19  2009 Parse.hs
--rw-r--r-- fernan sys 1408 Sep 19  2009 Shows.hs
--rw-r--r-- fernan sys  828 Sep 19  2009 State.hs
--rw-r--r-- fernan sys  602 Sep 19  2009 StateX.hs
--rw-r--r-- fernan sys 2457 Sep 19  2009 Substitution.hs
--rw-r--r-- fernan sys 2677 Sep 19  2009 Term.hs
--rw-r--r-- fernan sys  110 Sep 19  2009 TestTerm.hs
--rw-r--r-- fernan sys  110 Sep 19  2009 TestType.hs
--rw-r--r-- fernan sys 3034 Sep 19  2009 Type.hs
--rw-r--r-- fernan sys 1108 Sep 19  2009 infer.stdin
--rw-r--r-- bootes sys 1404 Sep 19  2009 infer.stdout