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
