Starting with inventory:
0000009684-9ed54fd2f3a0b7d47500e5cc55b43096332e3b06e0aed1f3dd8e9bc6e1db1f58
[TAG deehebcahur
John Meacham <john@repetae.net>**20061006042251] 
hash: 0000005553-c7237e974df274603a7f05bbf69c8947d779efa75ada513c5fb0e4b4b1b2ee7b
[make sure worker wrapper transform doesn't reuse ids from type of body
John Meacham <john@repetae.net>**20061006054131] 
hash: 0000000980-05f0d381b428ec86f7805b78b560be876a2fabb65a5bc311a905f5c88658c25c
[make slottypes check for free variables before substitution
John Meacham <john@repetae.net>**20061006055801] 
hash: 0000000305-dacae8cc5f1626f20f3aa1a59de950c8c03975105bbcd9cecab8bed3e29cdadd
[add dot file to generate graph showing code motion and passes of compiler
John Meacham <john@repetae.net>**20061007225522] 
hash: 0000005794-79305023820a398ab4670c2201c554e4f7682fe1a9c82bee9767dbaa1fcba72c
[make emapEG recurse into the type of EPrim and EError with the right function
John Meacham <john@repetae.net>**20061006115708] 
hash: 0000000615-a4906488cbf14c6731ae405f0eb2a3ef7c70fd27b9b6c1312ea186ce0ae13cc8
[update big picture, add makefile that builds a pdf
John Meacham <john@repetae.net>**20061008213641] 
hash: 0000004325-2e88b206f9b41cd80082bd48a73349dc3b5fdbdc65434e61afa5c492f254488a
[clean up E.Traverse, add emapEGH which can do something different for bound variable types
John Meacham <john@repetae.net>**20061010050618] 
hash: 0000012487-2ce1bac06c7976080cd38e4591e3c6e51508bdf300acd9874b660e4a0de75015
[make E.TypeCheck make sure the case alternatives match the case type attached
John Meacham <john@repetae.net>**20061010065815] 
hash: 0000000414-e9ffb6e64aa2f1a0e4306f0ac0fc19786534a503416893275f3e396119df2f69
[make cheap-eagerness transformation annotate the creaed case statement with the correct type.
John Meacham <john@repetae.net>**20061010072556] 
hash: 0000000547-0e7f18ab0572eb2a14fda8b03538febb88b839908511f6fd55e59ace060ba487
[add Jhc@.Box, a supertype that can represent any boxed value
John Meacham <john@repetae.net>**20061006063804] 
hash: 0000002104-5faad173931a3901c1187f33ec997bf62d2556ca7fdb3b859ba1eeaa5557bdc2
[add boxifyProgram, that replaces type varables with boxes
John Meacham <john@repetae.net>**20061006115728] 
hash: 0000001938-a3a68c5d7c0ff251188005096fa87c3ef65b6b1510da3578673b3ef7e25363a3
[start switching from lambda cube to a PTS
John Meacham <john@repetae.net>**20061010044605] 
hash: 0000001749-8f78b21620f02c1ddf55a40736fb25cd199b37938d694c1559215325b117dd04
[classify aliases (newtypes) into erased and non-erased varieties
John Meacham <john@repetae.net>**20061010050040] 
hash: 0000002762-c83b6dd7476193639780c464b712124e604469e30a34d9b39bb5870287272a2e
[remove newtypes from type signatures when possible
John Meacham <john@repetae.net>**20061010061035] 
hash: 0000001441-569cc80668fee67fa340c2014518637481f484a4f6c9d286e8de3da1080e9b8c
[when removing newtypes, evaluate any Pi applications that are exposed
John Meacham <john@repetae.net>**20061010080135] 
hash: 0000000499-50d9116a1cd106c3d3be7dc8f7aecdd944bb72419802005bd96a1121dc7cfe0a
[remove newtypes in more places
John Meacham <john@repetae.net>**20061011041107] 
hash: 0000001376-c7f39ffc9bfba6782e0b4fefd90344d3a1b60db0c2c08cb162db204c4a479e37
[rename values lifted to top level to suitable global names in lambda lifter
John Meacham <john@repetae.net>**20061011104535] 
hash: 0000001961-8742874c8b290e25ec91e93cf038dca05c89961265706c26acf0e20d62579d50
[after lifting functions to top level in Grin.Devolve, update the type environment appropriately
John Meacham <john@repetae.net>**20061012000638] 
hash: 0000000432-2f2eb64de74f624e1afcc9be2666a6f1fa2ea2c60e47be4f8d57dfe31cc82ace
[when choosing jumppoint names in Grin.Simplify, be sure to not shadow any names in scope
John Meacham <john@repetae.net>**20061012002757] 
hash: 0000001403-32ae496b354f259c420a8459861b1674bb004c5bea001fa1befd9eef0231ead2
[turn off jumpoint optimization for now after grin devolving
John Meacham <john@repetae.net>**20061012005102] 
hash: 0000000280-5d10214b71e866044ec6274aac66dc27c12c4d0faa6458783909080bc29996bb
