交互式 λ-规约

Interactive λ-Reduction

原始链接: https://deltanets.org/

交互式λ-规约示例 启动器Lamping A Lamping B List Head Ω (非规范化) Y (非规范化) 两次平方 擦除 vs 共享 复制器衰减 图着色 Δ-网络 (2025) λ-演算 (1936+) 绝对层级 (默认) 相对层级 线性 (L) 仿射 (A) 相关 (I) 完全 (K) 0/0 GitHub