on eaa751d help sign in
all commits
a3a7b3eRefactor type environmentEvan Czaplicki b87b845Move the Environment.hs and Fragment.hs files down a directory.Evan Czaplicki cdb63bdStart writing a new type checker based on the ATAPL chapter on efficient type-inference.Evan Czaplicki