用纯 HTML / CSS / JS / SVG 构建的交互式 λ 演算实验台。从 α/β/η 归约到 Church 编码，从 Y 组合子到 SECD 抽象机与字节码后端，逐层拆解计算的本质。零依赖，全部计算在浏览器本地完成。