Alonzo Church の 1936 年の論文から直接利用されたラムダ計算
Lambda calculus implemented directly from Alonzo Church’s 1936 paper “An Unsolvable Problem of Elementary Number Theory.” American Journal of Mathematics, vol. 58, no. 2, 1936, pp. 345–63. JSTOR, https://doi.org/10.2307/2371045. Build and run unit tests: Generate the documentation: Build and run the example program: The example program prints the following (with some formatting added here for…