tcrts 0.1.0

Turing complete rust type system
Documentation 
1
2
3
4
5
6

/// A trait to represent a value at the type level.
/// This is implemented by the `Zero` and `Next` types
/// provide a way to convert Peano numbers to their integer values.
pub trait ToVal {
    const VALUE: usize;
}