Lecture notes

• Applicative matching logic, October 2022.