[jhc] darcs patch: Improve lambda/pi printing code
Samuel Bronson
naesten at gmail.com
Wed Apr 16 19:29:45 EDT 2008
Previous message:
[jhc] darcs patch: Improve lambda/pi printing code
Next message:
[jhc] darcs patch: Improve lambda/pi printing code (and 1 more)
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Oops... I meant to send this and the kind-printing fix...
Previous message:
[jhc] darcs patch: Improve lambda/pi printing code
Next message:
[jhc] darcs patch: Improve lambda/pi printing code (and 1 more)
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the jhc mailing list