lambda-types 0.2.1

Puts the lambda calculus in Rust...'s type system.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

# lambda-rs


!["Lambda calculus? In *my* type system?" (It's more likely than you think.)](assets/docs/banner.png)

An implementation of the Lambda Calculus in Rust, only using ZSTs, traits, and generics.

```rust
use lambda_types::prelude::*;

type Two = call! { Successor, Successor, Zero  };
type Three = call! { Successor, Two  };
type Six = call! { Multiply, Three, Two };
type Seven = call! { Successor, Six };

static THE_MEANING_OF_LIFE: call! {
    ToNumber { Multiply, Six, Seven }
} = ConstNumber::<{b'*' as u64}>; // 42

```