../ 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.hsStart adding constraint generation for declarations.13 years ago Pattern.hsStart using the PrettyPrint library to show expressions, literals, and patterns.13 years ago PrettyPrint.hsGet type inference working in the basic case. Begin working on printing errors in a prettier way.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