git.iko.soy/elk
on d41a656 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.hsSwitch imports from SourceSyntax to AST 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.hsSwitch imports from SourceSyntax to AST Unify.hsMerge branch 'master' into canonicalize