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

@(begin #reader scribble/comment-reader
(schemeblock
;; teachpack: universe.ss

;; WorldState is one of:
;; -- Number	         %% representing the @emph{y} coordinate
;; -- @scheme['resting]

(define WORLD0 'resting)

;; A WorldResult is one of:
;; -- WorldState
;; -- (make-package WorldState StopMessage)
))

(Eli must have changed this one.)



On Feb 13, 2009, at 5:54 PM, Robby Findler wrote:

> How do you use a schemeblock? Do you add comment lines in or  
> something?
>
> Robby
>
> On Fri, Feb 13, 2009 at 4:49 PM, Matthias Felleisen
> <matthias at ccs.neu.edu> wrote:
>>
>> 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
>>
>>