[racket] HtDP data definitions in Scribble

Dear All,

Is there an easy (as in first-year students can do it) way nicely render
data definitions a la HtDP using Scribble?

For instance,

A word is a (listof symbol).

@defproc[(correct-spelling [w word?]) word]{Returns a word.}

Having word? and word refer to its data definition.

-- 

Cheers,

Marco

Have a´¨)
¸.·´¸.·*´¨) ¸.·*¨)
(¸.·´ (¸.·´ * wonderful day! :)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140126/8340018f/attachment-0001.html>