[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

-- 
John Meacham - ⑆repetae.net⑆john⑈


More information about the jhc mailing list