git.iko.soy/elk
on 8506ed8 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.hsRemove effect types State.hsRemove effect types Type.hsAssume arguments match the type annotations Unify.hsDo a better job with missing fields