nickburrell / church-rs Goto Github PK
View Code? Open in Web Editor NEWThe 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"
License: Mozilla Public License 2.0