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
No issues in this repository yet.