Re: [jhc] darcs patch: Improve lambda/pi printing code

17 Apr 2008


      Oops... I meant to send this and the kind-printing fix...

Samuel Bronson