λ
演算计算器
/ Lambda Calculus
Haskell 解释器 · 归约轨迹 · 语法树 · 类型推断
中 / EN
中文
English
▾
应用序 / applicative
正规序 / normal
按名 / call-by-name
按值 / call-by-value
▾
快速 / Fast
分享 / Share
导出 / Export
导入 / Import
深色 / Dark
lambda-repl
清空 / clear
λ>
applicative
步 / steps
—
●
手动 / Manual
开始 / begin
单步 / step
到底 / run
结束 / end