on da346ea help sign in
all commits
e4ca967Create a source syntax for types that will get converted into the internal type representation during type checking.Evan Czaplicki f2b3ed7Start using the PrettyPrint library to show expressions, literals, and patterns.Evan Czaplicki c7dce08Parameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.evancz 339ad77Begin getting the parser to match the new SourceSyntax modules.evancz bbb2b2aBegin migrating the AST to its own branch for the source syntax of the language.evancz