[racket] Documenting Redex forms with Scribble

From: Robby Findler (robby at racket-lang.org)
Date: Tue Feb 25 11:49:43 EST 2014

There aren't, unfortunately.


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>

Posted on the users mailing list.