git.iko.soy/elk
on aa7c2fd help sign in
elk/compiler/Type
1 folder, 10 files
../ Constrain/Update to use canonical variables 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.hsSwitch imports from SourceSyntax to AST Solve.hsSwitch imports from SourceSyntax to AST State.hsSwitch imports from SourceSyntax to AST Type.hsSwitch imports from SourceSyntax to AST Unify.hsMerge branch 'master' into canonicalize