../ Declaration.hsCreate a source syntax for types that will get converted into the internal type representation during type checking.13 years ago Everything.hsRemove SourceSyntax.Rename, which was unused13 years ago Expression.hsPrettier printing for infix functions like `div`13 years ago Helpers.hsAdd types and `deprime` function to SourceSyntax.Helpers13 years ago Literal.hsfix pretty printer for chars13 years ago Location.hsConvert more files to the new Expression format that relies more on patterns. Seems to clean things up so far.13 years ago Module.hsGet rid of current canonicalization code13 years ago Pattern.hsPrettier printing for infix operator definitions13 years ago PrettyPrint.hsPrettier printing for infix operator definitions13 years ago Type.hsSimplify code to generate record constraints13 years ago Variable.hsAdd support for pattern matching on literals.13 years ago