I am doing similar things, using schemeblock and a #reader. (I got the code from Eli or Matthew, and I copy and paste it where I go.)
On Feb 13, 2009, at 5:46 PM, 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 > --- > ] > > @verbatim[#<<--- > ;; a board is > ;; (listof cell) > --- > ] > > @verbatim[#<<--- > ;; a cell is > ;; (make-cell (make-posn int[0-board-size] > ;; int[0-board-size]) > ;; boolean) > --- > ] > > Robby > _________________________________________________ > For list-related administrative tasks: > http://list.cs.brown.edu/mailman/listinfo/plt-dev
