<div dir="ltr"><div><div><div><div>Dear All,<br><br></div>Is there an easy (as in first-year students can do it) way nicely render data definitions a la HtDP using Scribble?<br><br></div>For instance,<br><br></div>A word is a (listof symbol).<br>
<br>@defproc[(correct-spelling [w word?]) word]{Returns a word.}<br><br></div>Having word? and word refer to its data definition.<br><div><div><div><div><div><br>-- <br><br>Cheers,<br><br>Marco<br><br>Have a´¨)<br>¸.·´¸.·*´¨) ¸.·*¨)<br>
(¸.·´ (¸.·´ * wonderful day! :)
</div></div></div></div></div></div>