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

On 4/16/08, John Meacham wrote:

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.

Well, did you do it?