tcrts 0.1.0

Turing complete rust type system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

use super::*;

type _1 = Next<Zero>;

pub trait Length {
    type Output;
}

impl<H, T> Length for Cons<H, T>
where
    T: Length,
    <T as Length>::Output: Num,
{
    type Output = <<T as Length>::Output as PeanoAdd<_1>>::Output;
}

impl Length for Nil {
    type Output = Zero;
}