git.iko.soy/elk
on 078692a help sign in
history ofcompiler/SourceSyntax/Expression.hs
all commits
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