λ
John Tromp Lambda 图动态演算工作台
Tromp Diagrams
纯黑白极简电路式几何拓扑 · 五阶段 β-规约动态演示 · 作用域分析器
English
浅色模式
公式仓库
登录 / 注册
图解指南
关于 Tromp
SVG 矢量图
Unicode 制表画
ASCII 点阵网格
标准风格 (最左变量连接)
替代风格 (最近深层连接)
导出 SVG
导出 PNG
+
−
FIT
1:1
John Tromp Unicode 制表字符画 (boxChar)
复制字符画
元素
详情
预设公式库
23 个经典公式
×
全部
Church 计数
基础组合子
算术与逻辑
Tromp 经典项
名称 / 标识
Lambda 表达式
类别
说明
操作
用户身份认证
×
账号登录
新用户注册
用户名
密码
立即登录
用户名 (3-32位字符)
密码 (不少于6位)
确认注册
当前用户:
--
注册时间:
--
云端公式:
0 项
退出登录
表达式仓库
Formula Store
×
我的云端仓库
公共广场
本地离线存储
导出 (JSON)
导入 (JSON)
保存表达式入库
×
公式标题
表达式代码
说明描述 (可选)
标签 (逗号分隔)
在公共广场公开分享
保存入库
John Tromp Lambda 图解指南
×
关于 John Tromp 与二进制 Lambda 演算
×