[jhc] darcs patch: Improve lambda/pi printing code (and 1 more)

John Meacham john at repetae.net
Wed Apr 16 20:42:32 EDT 2008

Thanks. patches applied. sorry I have not had a chance to look at the
type error you were getting with rules yet, I'll try to take a look
later tonight.


John Meacham - ⑆repetae.net⑆john⑈

More information about the jhc mailing list