kserrec / lambda-core

Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
41Updated last month

Alternatives and similar repositories for lambda-core:

Users that are interested in lambda-core are comparing it to the libraries listed below