Starting with inventory:
0000002305-76644d54a39d4e97eb9fbca179f54a07842893eb76843796407f6895db75d3c7
[TAG hichyodoteut
John Meacham <john@repetae.net>**20090222013117
 Ignore-this: 142eaf61f39d642e78bf714fab32160f
] 
hash: 0000001421-42e132417d2a46f4acbf28171bb767f3ded7e471ba7fddc6ed4c30b73a00e82c
[improve main web page
John Meacham <john@repetae.net>**20090222015532
 Ignore-this: 826ce4a66ea57abe9fa13102f56c1ff9
] 
hash: 0000001125-2cce2a07d7ec8085f67899992e0fcdd644100ef32482925d8b22302688e8a214
[get rid of showId in favor of using Id show instance directly
John Meacham <john@repetae.net>**20090222133119
 Ignore-this: daaa186108e4f9d838c0ef9c88797f2e
] 
hash: 0000000678-363f59bae8064e9de2285048ab4a09ffadc562d8c4a574349347b226175cc63d
[Error message layout wibble in E.TypeCheck
Samuel Bronson <naesten@gmail.com>**20090126034047] 
hash: 0000000325-c7a98f9b583c8c2a0a6c255dd44f993e89c4da424dc28ee308212146fcc2edc6
[clean up use of anonymous ids 
John Meacham <john@repetae.net>**20090222140425
 Ignore-this: 2e40f53aa811748c1b1ba4d90cfa8f5b
] 
hash: 0000000739-33b732d98d323bb32083d922fd3edb7b55a1fffa5bbfd8be1a33dd10422a4888
[improve documentation on core type system
John Meacham <john@repetae.net>**20090223131224
 Ignore-this: e0f33956d45b8a021c2fc52e4ff2b81f
] 
hash: 0000005235-1bb0a1cf445ee3fd801da62c6b7de95ac219f857974591210455f85d76db615b
[use new associative pretty printer
John Meacham <john@repetae.net>**20090224042711
 Ignore-this: 163c1be7055ea97a864e78e22fe0934a
] 
hash: 0000001657-32ed69d141bb93ee8dae29dac8111d9940b1cf922194f1a0c95bff67dd0ff524
[honor precedence in the type pprint instance
John Meacham <john@repetae.net>**20090224054101
 Ignore-this: b45bb9e706d9f098e8c22b040859fe7e
] 
hash: 0000000906-ec0558c3defc2804ea29668f82a328bcd5d3605de628e8fe8f7300640b0f5fe5
[when matching expressions, look inside newtypes and pull apart literals to match against applications of variables
John Meacham <john@repetae.net>**20090224080021
 Ignore-this: bb58bb829358d0aa0628d49e4c08ca19
] 
hash: 0000003693-86e2beb4a59b8c76ebe9419ae53f449443e9f2931f8195c09d7f329b41e586bb
[when creating instance rules, use true unification to determine how to pass arguments to the rule body in favor of assuming they appear in a certain order
John Meacham <john@repetae.net>**20090224083700
 Ignore-this: 85009588ddc59d5910d28749795f8cec
] 
hash: 0000007405-ec33cee83e00d8ec8da2fc11cae0f273e9b48446dc875f9da7ef2e885f48d39d
[when devolving grin, iterate until fixpoint is reached when deciding what arguments need to be lifted
John Meacham <john@repetae.net>**20090224104352
 Ignore-this: 4cfbf1f9e4b7dfe511e119d94237ea1d
] 
hash: 0000003087-37019c7001d6b609f459709b61013395dc5cb0fdf255fe399c20bd1066de24a6
