1 result found Sort:

ljedrz
lambda_calculus ljedrz
10
105
cc0-1.0
3
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
rust debruijn rust-library beta-reduction scott-encoding church-encoding lambda-calculus ski-combinators lambda-functions parigot-encoding combinatory-logic stump-fu-encoding lambda-expressions lambda-interpreter reduction-strategies embedded-iterators-encoding
Created 2017-04-05
751 commits to master branch, last one about a month ago