git.iko.soy/elk
on fcd5d23 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.hsStop dealing with aliases in the environment ExtraChecks.hsMerge branch 'stable' into canonicalize 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.hsMerge branch 'stable' into canonicalize Unify.hsMerge branch 'master' into canonicalize