Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "embedded-iterators-encoding" keyword
lambda_calculus 3.2.2
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust41 versions - Latest release: 9 months ago - 1 dependent package - 1 dependent repositories - 26 thousand downloads total - 97 stars on GitHub - 1 maintainer
Related Keywords
mathematics
1
functional
1
combinators
1
lambda
1
calculus
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