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 ____________________ Racket Users list: http://lists.racket-lang.org/users
