../ Declaration.hsCreate a source syntax for types that will get converted into the internal type representation during type checking.13 years ago Everything.hsStart using the PrettyPrint library to show expressions, literals, and patterns.13 years ago Expression.hsCreate a source syntax for types that will get converted into the internal type representation during type checking.13 years ago Helpers.hsStart using the PrettyPrint library to show expressions, literals, and patterns.13 years ago Literal.hsStart using the PrettyPrint library to show expressions, literals, and patterns.13 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.hsParameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.13 years ago Pattern.hsStart using the PrettyPrint library to show expressions, literals, and patterns.13 years ago PrettyPrint.hsStart using the PrettyPrint library to show expressions, literals, and patterns.13 years ago Rename.hsStart switching over to an AST that uses patterns in lambdas and pulls the arguments out of Definitions (placing them in lambdas).13 years ago Type.hsCreate a source syntax for types that will get converted into the internal type representation during type checking.13 years ago Variable.hsAdd support for pattern matching on literals.13 years ago