1.2.3 $\lambda$演算计算器

以下出自马萨里克大学（Masaryk University）的JAKUB KADLECAJ的本科学位论文，开源代码 https://gitlab.com/kdlcj/lambda，遵循CC0 1.0协议。为适合嵌入网页中动作行为，已经修改了某些跳转链接的target。