../ Alias.hsSolve a "non-exhaustive pattern match"13 years ago Constrain.hsFix the confusion with "Cons" and "Nil" in issue #176.13 years ago Hints.hsContinue reorganizing the code-base.13 years ago Solver.hsFix the confusion with "Cons" and "Nil" in issue #176.13 years ago Substitutions.hsContinue reorganizing the code-base.13 years ago Types.hsFix the confusion with "Cons" and "Nil" in issue #176.13 years ago Unify.hsContinue reorganizing the code-base.13 years ago