../ Canonicalize.hsMake AST more general and try to give its phases better names13 years ago Check.hsBegin using the new boundVarList function13 years ago Declaration.hsMake AST more general and try to give its phases better names13 years ago Definition.hsMake AST more general and try to give its phases better names13 years ago Expression.hsMake AST more general and try to give its phases better names13 years ago SafeNames.hsMake AST more general and try to give its phases better names13 years ago SortDefinitions.hsMake AST more general and try to give its phases better names13 years ago Substitute.hsMake AST more general and try to give its phases better names13 years ago