tpreviero/lambda-y-presentation

A presentation on Y combinator in λ-calculus

🔥 λ-calculus is on fire 🔥

When Y becomes Y NOT?!