Sat Feb 21 17:31:17 PST 2009 John Meacham tagged hichyodoteut Sat Feb 21 17:55:32 PST 2009 John Meacham * improve main web page Sun Feb 22 05:31:19 PST 2009 John Meacham * get rid of showId in favor of using Id show instance directly Sun Jan 25 19:40:47 PST 2009 Samuel Bronson * Error message layout wibble in E.TypeCheck Sun Feb 22 06:04:25 PST 2009 John Meacham * clean up use of anonymous ids Mon Feb 23 05:12:24 PST 2009 John Meacham * improve documentation on core type system Mon Feb 23 20:27:11 PST 2009 John Meacham * use new associative pretty printer Mon Feb 23 21:41:01 PST 2009 John Meacham * honor precedence in the type pprint instance Tue Feb 24 00:00:21 PST 2009 John Meacham * when matching expressions, look inside newtypes and pull apart literals to match against applications of variables Tue Feb 24 00:37:00 PST 2009 John Meacham * 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 Tue Feb 24 02:43:52 PST 2009 John Meacham * when devolving grin, iterate until fixpoint is reached when deciding what arguments need to be lifted