[racket] Documenting Redex forms with Scribble

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Tue Feb 25 11:56:42 EST 2014

On 2014-02-25 11:40:22 -0500, Jonathan Schuster 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.

For metafunctions, maybe you can just use @defform?

For judgements, you could maybe use Redex's pict output to render part
of the judgement into the docs. (along with a @defform or @defidform)

Cheers,
Asumu

Posted on the users mailing list.