[TAG plelilbish
John Meacham <john@repetae.net>**20060413004740] 
<
[print names of functions as simplification progresses
John Meacham <john@repetae.net>**20060412232530] 
[document E tranlation with type aliases, rebuild subst cache when adding a list, rebuild subst cache when modifying env, show full names in e-verbose mode
John Meacham <john@repetae.net>**20060412232329] 
[make eta expansion use the name generation monad from the simplifier
John Meacham <john@repetae.net>**20060412092314] 
[include used and free ids in program structure. fill them in in occurance collection and use them in the simplifier.
John Meacham <john@repetae.net>**20060412053039] 
[use new program based ssimplifier interface for initial optimization pass
John Meacham <john@repetae.net>**20060411113818] 
[cache substitutions inside of environment for speed. no longer environment and substitution separately. fix several case optimizations.
John Meacham <john@repetae.net>**20060411113722] 
[don't count free variables that are inside of type arguments to variables
John Meacham <john@repetae.net>**20060411113640] 
[make simplifier handle beta and pi expansion directly.
John Meacham <john@repetae.net>**20060411044041] 
[when in verbose mode, show type of case binder.
John Meacham <john@repetae.net>**20060411044018] 
[fix argument types to built in fromInteger rules
John Meacham <john@repetae.net>**20060411043945] 
[fix a few case simplifications which were getting InTerms and OutTerms confused
John Meacham <john@repetae.net>**20060411032656] 
[use new substMap'' for applying substitutions, don't annotate variables that arn't let-bound with occurance info.
John Meacham <john@repetae.net>**20060411032506] 
[make substMap'' take a map of 'Maybe E' rather than just E
John Meacham <john@repetae.net>**20060411032337] 
[make unsafe coerce set case type properly
John Meacham <john@repetae.net>**20060411031145] 
[use strict ReaderWriter monad
John Meacham <john@repetae.net>**20060411021808] 
[add strict ReaderWriter monad
John Meacham <john@repetae.net>**20060411021756] 
[switch to program based simplification rather than turning things into a single expression
John Meacham <john@repetae.net>**20060411014739] 
[add more context annotations to typechecking
John Meacham <john@repetae.net>**20060411014725] 
[don't tick zero ticks, be strict in key argument
John Meacham <john@repetae.net>**20060411014507] 
[get rid of old occurrance checking code, separate occurance checking from simplification pass
John Meacham <john@repetae.net>**20060411001610] 
[get ride of unused ExportStatus type
John Meacham <john@repetae.net>**20060411000409] 
[use new occurance analysis system in simplifier
John Meacham <john@repetae.net>**20060410093026] 
[get rid of unused functions in E/Rules
John Meacham <john@repetae.net>**20060410061651] 
[enable fixups of ho files, but not libraries
John Meacham <john@repetae.net>**20060410061621] 
[add routines to Util.SetLike
John Meacham <john@repetae.net>**20060410045252] 
[TAG megteycto
John Meacham <john@repetae.net>**20060409114525] 
>