1. Calendar 📅
  2. Syllabus 📝
  3. Lecture Notes 🧑‍🏫
    1. Intro, Syntax I
    2. Syntax II, Inference Rules
    3. Operational Semantics
    4. Operational Semantics Practicum
    5. Variables
    6. Lambda Calculus
  5. Lamp Reference Manual
  6. Homework Assignments 📚
    1. HW1
    2. HW2
  8. Reflections 💭
    1. Software Correctness
    2. Language Adoption
  10. Discussion Sections 🗣️