txyyss / Lambda-Calculus

An introduction to lambda calculus in Chinese, including an interpreter in Haskell.
390Updated 10 years ago

Alternatives and similar repositories for Lambda-Calculus:

Users that are interested in Lambda-Calculus are comparing it to the libraries listed below