Expand description
Binary encoding for lambda Terms
Enums§
- Error
- An error that can occur if the input stream of “bits” is not valid binary lambda calculus.
Functions§
- compress
- Convert a stream of “bits” into bytes. It is not always reversible with
decompress, because it produces full bytes, while the length of its input can be indivisible by 8. - decompress
- Convert bytes into “bits” suitable for binary lambda calculus purposes.
- from_
bits - Parse a blc-encoded lambda
Term. - to_bits
- Represent a lambda
Termin blc.