用Rust编写的Lambda演算解释器

我正在遵循Peter Selinger的《Lambda演算讲义》。希望可以继续阅读其他讲义，并在阅读过程中添加更多功能和扩展。稍后，我还可能实现一个前端，该前端将被编译为Lambda演算以进行评估。