Context
I started teaching myself lambda calculus last night and I am trying to determine if what I understand so far is correct.
Understa
