Function blc::lambda_encoding::encode

pub fn encode(input: &[u8]) -> Term

Encode bytes as a lambda Term.

Example

use blc::lambda_encoding::encode;

assert_eq!(&*format!("{:?}", encode(b"a")),
    "λ1(λ1(λλ2)(λ1(λλ1)(λ1(λλ1)(λ1(λλ2)(λ1(λλ2)(λ1(λλ2)(λ1(λλ2)(λ1(λλ1)(λλ1)))))))))(λλ1)");