1 result found Sort:

ljedrz
lambda_calculus ljedrz
10
114
cc0-1.0
4
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
752 commits to master branch, last one 4 months ago