[TAG shlamasfasp
John Meacham <john@repetae.net>**20090224114338
 Ignore-this: 7c030e3690faf234bcd17e36c6f62185
] 
<
[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
] 
[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
] 
[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
] 
[honor precedence in the type pprint instance
John Meacham <john@repetae.net>**20090224054101
 Ignore-this: b45bb9e706d9f098e8c22b040859fe7e
] 
[use new associative pretty printer
John Meacham <john@repetae.net>**20090224042711
 Ignore-this: 163c1be7055ea97a864e78e22fe0934a
] 
[improve documentation on core type system
John Meacham <john@repetae.net>**20090223131224
 Ignore-this: e0f33956d45b8a021c2fc52e4ff2b81f
] 
[clean up use of anonymous ids 
John Meacham <john@repetae.net>**20090222140425
 Ignore-this: 2e40f53aa811748c1b1ba4d90cfa8f5b
] 
[Error message layout wibble in E.TypeCheck
Samuel Bronson <naesten@gmail.com>**20090126034047] 
[get rid of showId in favor of using Id show instance directly
John Meacham <john@repetae.net>**20090222133119
 Ignore-this: daaa186108e4f9d838c0ef9c88797f2e
] 
[improve main web page
John Meacham <john@repetae.net>**20090222015532
 Ignore-this: 826ce4a66ea57abe9fa13102f56c1ff9
] 
[TAG hichyodoteut
John Meacham <john@repetae.net>**20090222013117
 Ignore-this: 142eaf61f39d642e78bf714fab32160f
] 
>