Environment.hs
FiniteMap.hs
Infer.hs
InferMonad.hs
Lex.x
MaybeM.hs
MyList.hs
Parse.y
Shows.hs
StateX.hs
Substitution.hs
Term.hs
Type.hs
benchmark.in
parinfer.hs