[plt-dev] scribble support for HtDP-style data definitions?

On Feb 13, Robby Findler wrote:
> Is there a good way to typeset HtDP-style data definitions in
> Scribble? I've just been doing this:
> 
> @verbatim[#<<---
> ;; a state is either:
> ;;   - 'playing
> ;;   - 'cat-won
> ;;   - 'cat-lost
> ---
> ]

One unrelated comment about the above (since I see that you committed
something very similar) -- you can get exactly the same result with:

  @verbatim{
    ;; a state is either:
    ;;   - 'playing
    ;;   - 'cat-won
    ;;   - 'cat-lost
  }

(It's just that the scribble reader is a better way of doing
"here-strings"-like so it bugs me to see it used with the thing...)

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!