Oh, right! Thanks. Robby
On Sat, Feb 14, 2009 at 5:26 PM, Eli Barzilay <[email protected]> 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! > _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
