On Jan 26, 2014, at 9:02 PM, Marco Morazan wrote:
> 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
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
2 matches
Mail list logo
