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

Samuel Bronson naesten at gmail.com
Thu Apr 17 16:10:08 EDT 2008

On 4/16/08, John Meacham <john at repetae.net> 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?

More information about the jhc mailing list