../ Constrain/Start adding constraint generation for declarations.13 years ago Environment.hsAdd pretty printing for type constraints.13 years ago Fragment.hsMove the Environment.hs and Fragment.hs files down a directory.13 years ago Solve.hsMove the Environment.hs and Fragment.hs files down a directory.13 years ago Type.hsAdd pretty printing for type constraints.13 years ago Unify.hsContinue getting the new type-checker in order.13 years ago