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

Oh, right! Thanks.

Robby

On Sat, Feb 14, 2009 at 5:26 PM, Eli Barzilay <eli at barzilay.org> wrote:
> 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!
>