blc is an implementation of the binary lambda calculus in Rust.
Lambda terms have the following representation in BLC:
Since BLC programs are basically lambda calculus terms, they can be applied to other terms. In order to be applicable to binary (but not BLC-encoded) input, it has to be lambda-encoded first. Bytestrings are lambda-encoded as Church lists of bytes and bytes are lambda-encoded as Church lists of lambda-encoded bits.
Bits 0 and 1 are lambda-encoded as Church booleans:
Example: BLC-encoding steps for a byte representing the ASCII/UTF-8 encoded letter 'a':
|BLC (hex)||16 16 c 2c 10 b0 42 c1 85 83 b 6 16 c 2c 10 41 0|
Binary lambda calculus execution