[racket] Documenting Redex forms with Scribble

There aren't, unfortunately.

Robby


On Tue, Feb 25, 2014 at 10:40 AM, Jonathan Schuster <schuster at ccs.neu.edu>wrote:

> Are there any Scribble forms for documenting Redex metafunctions and
> judgments? I'm putting together a redex-extras package that has several
> generic utilities I've found useful throughout my model, but I'm not sure
> how to document them.
>
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140225/a463328d/attachment.html>