Working with Redex

These lecture notes introduce the basics of functional programming in Redex. Read them together with Semantics Engingeering in PLT Redex, and do check the design sections in How to Design Programs.