../ Constrain.hsFix up some code.14 years ago Hints.hsAdd type hints for new Time and Date libraries.14 years ago Solver.hsRefactor lots of code in the type-checker. Also includes some efficiency improvements to make unification a bit faster.14 years ago Substitutions.hsRefactor lots of code in the type-checker. Also includes some efficiency improvements to make unification a bit faster.14 years ago Types.hsMake the `Time` type more flexible.14 years ago Unify.hsRefactor lots of code in the type-checker. Also includes some efficiency improvements to make unification a bit faster.14 years ago