Δ-Nets (2025)
λ-Calculus (1936+)
Examples
Starter
Two Squared Twice
Lamping A
Lamping B
Ω (Non-Normalizing)
Y (Non-Normalizing)
Erasure vs Sharing
Replicator Decay
Graph Coloring
0/0
GitHub