Lecture notes
Applicative matching logic
, October 2022.