on fcd5d23 help sign in
all commits
d41a656remove reprime, many minor cosmetic changesEvan Czaplicki 4cd7514Move RawType and CanonicalType into AST.TypeEvan Czaplicki 64bcb0cTweak CanonicalBody and uncomment some Pretty codeEvan Czaplicki 2b6f5f1Migrate all of SourceSyntax/ to AST/Evan Czaplicki 368e33eBegin making canonical variables explicit in ASTEvan Czaplicki