GitHub repository: juniorxxue/learn-plt-redex
Description: Resources for Learning PLT Redex