alfreb/church1936

This is stars and forks stats for /alfreb/church1936 repository. As of 03 May, 2024 this repository has 11 stars and 0 forks.

church1936 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: $ cabal test Generate the documentation: $ cabal haddock Build and run the example program: $ cabal run church1936 The example program prints the following (with some formatting added here for github readability): A TL;DR of Church's paper First...