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