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"
NickBurrell/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"
RustMPL-2.0