../ Constrain/Keep the record name around for record updates9 years ago Error.hstype diff implementation with better presentation of aliases9 years ago Instantiate.hsMove all the compiler code into the compiler/ directory9 years ago Occurs.hsMove all the compiler code into the compiler/ directory9 years ago Solve.hsStart flowing Localizer through other modules9 years ago Type.hsProduce better error messages on "too many args"9 years ago Unify.hsGet rid of try2 and try3 ideas in unification9 years ago UnionFind.hsMove all the compiler code into the compiler/ directory9 years ago