Resources for Learning PLT Redex
For those who’re not familiar with PLT Redex Team and wanna take a look at Redex.
Evaluation context has been hevaily used in PLT Redex examples. Some links below may help :)