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
_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
