硬核可视化工具复活：用“气泡符号”动态演示 Lambda 演算，让代码逻辑一目了然

该项目最初是一项2008年的硕士论文，近日被从Google Code旧归档中挖掘并迁移至GitHub。Visual Lambda是一个独特的图形化编程环境，它利用“气泡符号”将抽象的Lambda表达式转化为彩色的、树状的二维结构，并流畅地演示Beta-归约过程。这一工具不仅提供了直观的交互方式来探索编程语言的数学基础，还包含了一套互动的“Lambda谜题”，通过游戏化的方式帮助用户深入理解函数式计算的核心逻辑。