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