此λ-calculator的词法以及语法规则为 [The grammar of this λ-calculator are mentioned below ]
var = /[A-Za-z][A-Za-z0-9]*/
term = var | var.term | term term
相关示例请双击输入框选择 [ Double click the input field to see some builtin example ]
使用F12以查看更多执行信息 [ Tap F12 to view more infomation when evaluating terms ]

parse small step call-by-name calculate call-by-name

©️ 麵皮 2021