on f2b3ed7 help sign in
all commits
f2b3ed7Start using the PrettyPrint library to show expressions, literals, and patterns.Evan Czaplicki 69ed763Start switching over to an AST that uses patterns in lambdas and pulls the arguments out of Definitions (placing them in lambdas).Evan Czaplicki cdb63bdStart writing a new type checker based on the ATAPL chapter on efficient type-inference.Evan Czaplicki 9a40249Fix the confusion with "Cons" and "Nil" in issue #176.evancz c7dce08Parameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.evancz bbb2b2aBegin migrating the AST to its own branch for the source syntax of the language.evancz