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
20
21
22
23

/*!


# Note

As there is no runtime functionality of this crate,
no actual _runtime_ tests run here.
Instead, if any of the statics fail, then this will fail to compile.

*/

use lambda_types::prelude::*;

type One = call!{ Successor, Zero };
type Two = call!{ Successor, One };
type Three = call!{ Successor, Two };
type Four = call!{ Successor, Three };

static _MATH_TEST: call! {
    If, { Eq, { Multiply, Two, Four }, { Exponent, Two, Three } }, u8, ()
} = 0;


fn main() {}