On this page, you will find slides and other materials presented in class. Most of these slides were originally based on some lecture notes by Eli Barzilay. Over the years they have mutated in various ways, most recently with some cosmetic changes to follow the 3rd edition of PLAI a bit better.
Mistakes are probably mine.
You can browse the examples directly or by tags.
conditional
lecture
environment
evaluation
function
hygiene
local binding
macro
parsing
plait
scope
smol
syntax-rules
types