on ca8441f help sign in
elk/compiler/Types
7 files
../ Alias.hsSwitch more files over to new Expressions Constrain.hsAdd support for pattern matching on literals. Hints.hsContinue reorganizing the code-base. Solver.hsFix the confusion with "Cons" and "Nil" in issue #176. Substitutions.hsContinue reorganizing the code-base. Types.hsFix the confusion with "Cons" and "Nil" in issue #176. Unify.hsTurn off debug code that printed all constraints during unify.