crates.io "embedded-iterators-encoding" keyword
lambda_calculus 3.4.0
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust42 versions - Latest release: 6 months ago - 1 dependent package - 1 dependent repositories - 65.8 thousand downloads total - 130 stars on GitHub - 1 maintainer
Related Keywords
calculus
1
combinators
1
functional
1
lambda
1
mathematics
1
beta-reduction
1
church-encoding
1
combinatory-logic
1
debruijn
1
lambda-calculus
1
lambda-expressions
1
lambda-functions
1
lambda-interpreter
1
parigot-encoding
1
reduction-strategies
1
rust
1
rust-library
1
scott-encoding
1
ski-combinators
1
stump-fu-encoding
1