pretty:

-- option for which types to dig into
-- option for readability, as in toExternalString

    In-Reply-To: <200606282004.k5SK4sj05675@u00.math.uiuc.edu>
    From: Michael Stillman <mike@math.cornell.edu>
    Subject: Re: bettiTally
    Date: Wed, 28 Jun 2006 16:10:23 -0400
    To: dan@math.uiuc.edu



    On Jun 28, 2006, at 4:04 PM, Dan Grayson wrote:

    >
    >
    > What if we enhance "pretty" so readability is an option?  Its  
    > output is really
    > *very* pretty, and it obeys the value of printWidth strictly.   
    > That's where I'd
    > like to spend my time.
    >

    That sounds good.  It would be nice if there were an option to  
    produce machine readable pretty output too.

