git.iko.soy/elk
on 440c182 help sign in
elk/compiler/Type
1 folder, 10 files
../ Constrain/remove reprime, many minor cosmetic changes Alias.hsSwitch imports from SourceSyntax to AST Environment.hsUse canonical names during type inference ExtraChecks.hsTake steps to allow higher kinded polymorphism Fragment.hsSwitch imports from SourceSyntax to AST Inference.hsGet working with latest definition of Modules PrettyPrint.hsremove reprime, many minor cosmetic changes Solve.hsSwitch imports from SourceSyntax to AST State.hsremove reprime, many minor cosmetic changes Type.hsUse canonical names during type inference Unify.hsUse canonical names during type inference