Re: [racket-users] Redex: custom rendering of metafunctions

The primary way to customize metafunction rendering is through `with-atomic-rewriters` and `with-compound-rewriters`. Depending on exactly what you have in mind, you can get close to what you suggest, I suppose. Robby On Sat, Jul 21, 2018 at 4:30 AM, Stephen Foster wrote: > I see

[racket-users] Redex: custom rendering of metafunctions

I see metafunction->pict. It's basically what I want for a game I'm designing. It renders metafunction like this: However, I was wondering if there's a way