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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Fri Feb 13 17:49:09 EST 2009

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



Posted on the dev mailing list.