git.iko.soy/elk
on bac53de help sign in
elk/src/Canonicalize
1 folder, 6 files
../ Environment/Add info on alternate ctors to every pattern in canonicalization Effects.hsGet Type.Constrain.Module working Environment.hsStore canonical types with pattern lookup table Expression.hsUpdate canonicalizer for Reporting.Annotation simplification Module.hsGet Type.Constrain.Module working Pattern.hsAdd info on alternate ctors to every pattern in canonicalization Type.hsUpdate canonicalizer for Reporting.Annotation simplification