Bla blah. This is a collection of notes with lambda calculus stuff. The posts tend to come with a kind of live lambda calculus environment where we can run examples or like play around.
Also there’s kind of a lambda playground over here. Works the same as the editors embedded in the different posts. It’s better for things like just playing around, since it doesn’t come like, surrounded in more blogposty stuffs.