../ Constrain/Improve quality of error messages.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.hsImprove quality of error messages.13 years ago State.hsGet all of the Haskell files compiling with the new type checker. Does not actually work, undefined is used in some places as a stopgap measure.13 years ago Type.hsMake constraint pretty printing prettier.13 years ago Unify.hsGet type inference working in the basic case. Begin working on printing errors in a prettier way.13 years ago