../ Canonicalize.hsAdd canonicalization for aliases and ADTs13 years ago Check.hsSimplify code to check for structural errors13 years ago LetBoundVars.hsAdd support for type annotations in let13 years ago Optimize.hsGet Optimize.hs updated for the newer AST.13 years ago Replace.hsClean up Transform/Replace.hs. Switch the environment from a (String -> String) to a (Map String String).13 years ago SortDefinitions.hsMake SortDefinitions aware of ADT constructors, gave incorrect sorts before13 years ago Substitute.hsConvert more files to the new Expression format that relies more on patterns. Seems to clean things up so far.13 years ago