Index

Code Mesh and infinite llamas

Kind of a companion post for a Code Mesh talk we did:
Infinite Lambda Calculus

The code we used for the talk
The file we ended up with in the talk (it is what it is)

Also there are some lambdas over here


Maybe the talk has a main point. Goes like this:

We can come up with a recipe for making a loopy thing:


λf.(λx.f (x x)) (λx.f (x x)) is the Y combinator :)