git.iko.soy/elk
on fa6377f help sign in
elk/src/Canonicalize
8 files
../ Declaration.hsRemove unnecessary let Environment.hsMake it possible to dealias types in errors and warnings Port.hsProperly add regions to port errors Result.hsMove Canonicalization code into its own subtree Setup.hscosmetic: minor whitespace stuff Sort.hsAdded Facts to Canonical.Def Type.hsMove Canonicalization code into its own subtree Variable.hscosmetic: minor whitespace stuff