../ Constrain/Get type inference working in the basic case. Begin working on printing errors in a prettier way.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.hsGet type inference working in the basic case. Begin working on printing errors in a prettier way.13 years ago State.hsGet type inference working in the basic case. Begin working on printing errors in a prettier way.13 years ago Type.hsMake pretty printing properly parenthesize higher order functions. Not the best implementation, but it is simple and works well.13 years ago Unify.hsGet type inference working in the basic case. Begin working on printing errors in a prettier way.13 years ago