../ Constrain/Get the solver working on basic programs. It outputs pretty types for the variables in the program. Need to test further and start doing some benchmarking.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 the solver working on basic programs. It outputs pretty types for the variables in the program. Need to test further and start doing some benchmarking.13 years ago State.hsGet the solver working on basic programs. It outputs pretty types for the variables in the program. Need to test further and start doing some benchmarking.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 the solver working on basic programs. It outputs pretty types for the variables in the program. Need to test further and start doing some benchmarking.13 years ago