on ce614bb help sign in
all commits
bf9573cProperly import the Text type by defaultEvan Czaplicki ed195c1cosmetic: more consistent Binary instancesEvan Czaplicki e2a0b46Take steps to allow higher kinded polymorphismEvan Czaplicki 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