[racket] Documenting Redex forms with Scribble

From: Jonathan Schuster (schuster at ccs.neu.edu)
Date: Tue Feb 25 11:40:22 EST 2014

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140225/a4a42304/attachment.html>

Posted on the users mailing list.