git.iko.soy/elk
on 07907a0 help sign in
elk/compiler/Type
1 folder, 9 files
../ Constrain/remove reprime, many minor cosmetic changes Environment.hsFilter unused modules ExtraChecks.hsRemove the Type.Alias module Fragment.hsSwitch imports from SourceSyntax to AST Inference.hsRemove the Type.Alias module PrettyPrint.hsremove reprime, many minor cosmetic changes Solve.hscosmetic: make adjustRank a bit easier to read State.hsRemove the Type.Alias module Type.hsUse canonical names during type inference Unify.hsUse canonical names during type inference