介绍

这是一个实现 $\lambda$ 演算的程序，实现一下最基本的 $\lambda$ 演算的一些定义等等。