crates.io : blc
An implementation of the binary lambda calculus.
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/blc
Keywords:
church
, binary
, lambda
, functional
, calculus
, binaryformat
, encoding
, lambda-calculus
, rust-library
License: CC0-1.0
Latest release: over 7 years ago
First release: over 8 years ago
Dependent repositories: 1
Downloads: 27,276 total
Stars: 10 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 10 days ago
Loading...
Readme
Loading...