on 3c71ee1 help sign in
elk/compiler/Types
7 files
../ Alias.hsAdd support for type annotations in let Constrain.hsSupport @ patterns as in Haskell Hints.hsClean up imports in many files. Solver.hsSwitch name of Context to Located. Whoo static types :) Substitutions.hsSupport @ patterns as in Haskell Types.hsAdd support for type annotations in let Unify.hsClean up imports in many files.