| 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. |
|
![[logo]](/logo.png){kind=logo}