I incorporated elements from the following sources into my assignment submission.

* Tutors and TAs (Name A and Name B)
* My friend D helped me work through Problem X.Y
* I used a solution to Problem Z.W I found in the TAPL chapter uploaded on Zulip
* The Y combinator was copied from https://en.wikipedia.org/wiki/Lambda_calculus