Sweet! Were gonna cover Lambda Calculus for a few lectures in CS theory by Aho. I’ve just been reading about this on my own…