There aren't, unfortunately. Robby
On Tue, Feb 25, 2014 at 10:40 AM, Jonathan Schuster <schus...@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 > >
____________________ Racket Users list: http://lists.racket-lang.org/users
