git.iko.soy/elk
on 3e45d8e help sign in
elk/compiler/Types
7 files
../ Alias.hsAdd support for type annotations in let Constrain.hsMerge branch 'master' into dev 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.