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

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⑈