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! :)
____________________ Racket Users list: http://lists.racket-lang.org/users
