Thanks for sharing. I remember reading Introduction to Lambda Calculus many years ago and it was one of those times where I had crazy math dreams and would wonder around SF convinced everything is functions. Like literally everything.