In this problem session, we will briefly introduce PLT Redex and discuss its user experience and whether it’s useful for our work.

materials