git.iko.soy/elk
on c5b225d help sign in
elk/src/Type
1 folder, 6 files
../ Constrain/Attempt to speed up the parsing phase Environment.hsAssume arguments match the type annotations Inference.hsAssume arguments match the type annotations Solve.hsResolve -Wall errors from Type.Solve State.hsUse user-defined type variables whenever possible Type.hsUse user-defined type variables whenever possible Unify.hscosmetic: remove stray newline