ariable and matching on that
variable: would prevent trying to bind to that variable twice.
Can you say more what you have in mind here?
• 'traces' support for user-defined reduction relation applications (e.g.
apply-reduction-relation*/random)
I'm not getting this. Bu
ailable at:
https://github.com/plt/racket/wiki/Redex-Features
Please feel free to comment on these features or add to them as you see fit.
Until the hackfest, we will be using this thread to discuss logistics and these
features.
Alex Marquez
NEU PRL
Racket Users li
2 matches
Mail list logo
