/church-rs

The Church Programming Language - A minimalistic implementation following the original specifications of the lambda calculus outlined in Alonzo Churches "An Unsolvable Problem in Elementary Number Theory"

Primary LanguageRustMozilla Public License 2.0MPL-2.0

No issues in this repository yet.