Get the latest tech news
Interactive λ-Reduction
Examples Starter Lamping A Lamping B List Head Ω (Non-Normalizing) Y (Non-Normalizing) Two Squared Twice Erasure vs Sharing Replicator Decay Graph Coloring Δ-Nets (2025) λ-Calculus (1936+) Absolute levels (default) Relative levels Linear (L) Affine (A) Relevant (I) Full (K) 0/0 GitHub.
None
Or read this on Hacker News
