git.iko.soy/elk
on 0ca86e4 help sign in
elk/src/Types
4 files
../ Constrain.hsAdd basics of type-checking and inference. Uses constraint generation method. Hints.hsAllow let-polymorphism in type-inference algorithm. Remove old type-checking files. Types.hsAdd basics of type-checking and inference. Uses constraint generation method. Unify.hsAllow let-polymorphism in type-inference algorithm. Remove old type-checking files.