Some lambda-notes


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.

Couple of the posts are maybe more introductiony than others. How is for how to editor, keys that can be pressed such. What is for syntax and semantics of the lambda calculus we’re using.

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.