patch ddc-head: ddc-core: prettier printing for binders

[Ben Lippmeier]

Sat Mar 31 17:35:03 EDT 2012  Ben Lippmeier <b...@ouroborus.net>
  * ddc-core: prettier printing for binders

    M ./packages/ddc-core/DDC/Core/Pretty.hs -1 +1

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe