Crate blc [−] [src]
blc is an implementation of the binary lambda calculus in Rust.
Modules
binary_encoding |
Binary encoding for lambda expressions |
lambda_encoding |
Lambda encoding for byte strings |