月度归档： 2021年8月

本章从零开始，完整地介绍了 untyped pure lambda-calculus 的 syntax、求值规 … 阅读更多

本章给出了一个非常简单的 mini language，其 abstract syntax 如下： 围绕这样一个 … 阅读更多