blc 0.6.0

An implementation of the binary lambda calculus.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

extern crate blc;

use blc::*;
use blc::encoding::binary::decompress;
use blc::execution::Input;

#[test]
fn identity() {
    let code_compressed = b" ";
    let code_blc        = decompress(&*code_compressed);

    assert_eq!(
        run(&*code_blc, Input::Bytes(&*b"herp derp")).unwrap(),
        "herp derp"
    );
}