crates.io "scott-encoding" keyword
View the packages on the crates.io package registry that are tagged with the "scott-encoding" keyword.
lambda_calculus 3.3.0
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust41 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 56.7 thousand downloads total - 123 stars on GitHub - 1 maintainer
Related Keywords
functional
1
mathematics
1
combinators
1
lambda
1
calculus
1
beta-reduction
1
church-encoding
1
combinatory-logic
1
debruijn
1
embedded-iterators-encoding
1
lambda-calculus
1
lambda-expressions
1
lambda-functions
1
lambda-interpreter
1
parigot-encoding
1
reduction-strategies
1
rust
1
rust-library
1
ski-combinators
1
stump-fu-encoding
1