小编Alt*_*tor的帖子

我正在研究Lambda微积分并且我坚持减少....可以用这个例子来解释减少的类型,特别是以最简单的方式减少beta.也不介意一个易于理解的教程.

(?xyz .xyz )(?x .xx )(?x .x )x