e4ca967Create a source syntax for types that will get converted into the internal type representation during type checking.Evan Czaplicki13 years ago f2b3ed7Start using the PrettyPrint library to show expressions, literals, and patterns.Evan Czaplicki13 years ago 69ed763Start switching over to an AST that uses patterns in lambdas and pulls the arguments out of Definitions (placing them in lambdas).Evan Czaplicki13 years ago cdb63bdStart writing a new type checker based on the ATAPL chapter on efficient type-inference.Evan Czaplicki13 years ago 9a40249Fix the confusion with "Cons" and "Nil" in issue #176.evancz13 years ago c7dce08Parameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.evancz13 years ago bbb2b2aBegin migrating the AST to its own branch for the source syntax of the language.evancz13 years ago