git.iko.soy/elk
on 2de786d help sign in
elk/src/Type
1 folder, 6 files
../ Constrain/Assume arguments match the type annotations Environment.hsAssume arguments match the type annotations Inference.hsAssume arguments match the type annotations Solve.hsUse user-defined type variables whenever possible State.hsUse user-defined type variables whenever possible Type.hsUse user-defined type variables whenever possible Unify.hsDo a better job with missing fields