git.iko.soy/elk
on eae58a7 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