[jhc] Re: createInstanceRules

Samuel Bronson naesten at gmail.com
Mon Apr 14 20:08:51 EDT 2008

Previous message: [jhc] createInstanceRules
Next message: [jhc] darcs patch: Improve lambda/pi printing code
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Pencil-and-paper summary, below copied-and-pasted code:
http://picasaweb.google.com/lh/photo/2qJOWq0cFKrl0FsnDRfLhA

Previous message: [jhc] createInstanceRules
Next message: [jhc] darcs patch: Improve lambda/pi printing code
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the jhc mailing list