../ Alias.hsAdd support for type annotations in let13 years ago Constrain.hsSwitch to using MultiIf for all if expressions. Simplifies AST.13 years ago Hints.hsClean up imports in many files.13 years ago Solver.hsBegin getting the parser to match the new SourceSyntax modules.13 years ago Substitutions.hsSupport @ patterns as in Haskell13 years ago Types.hsBegin getting the parser to match the new SourceSyntax modules.13 years ago Unify.hsBegin getting the parser to match the new SourceSyntax modules.13 years ago