enki 0.0.1

Asemantic computation and Church-style isomorphism using combinatory logic.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub enum Element {
    S,
    K,
    I,
    A, // App
    F, // Fanout
    N, // Fanin
    R, // Arrow
}

impl Element {
    pub fn max_bonds(&self) -> u8 {
        match self {
            Element::S => 3,
            Element::K => 1,
            Element::I => 1,
            Element::A => 3,
            Element::F => 1,
            Element::N => 1,
            Element::R => 2,
        }
    }
}