Good afternoon! I threw together a little bit of syntax that I find makes typesetting redex models much more convenient.
The package, typeset-rewriter, is located here: https://github.com/andmkent/typeset-rewriter I blogged about it a little as well: http://andmkent.com/blog/2015/09/15/typesetting-with-plt-redex/ It's really just a thin layer of syntax to generate match-patterns that work well with the redex typesetting structs. Comments, feedback, pull requests welcome! Best, Andrew -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
