nessa-language 0.9.1

An extensible programming language with a strong type system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

type ℕ = Int;

fn Σ(a: ℕ, b: ℕ) -> ℕ {
    return a + b;
} 

if Σ(4, 5) != 9 {
    panic("This should not happen");
}

binary op "⊕" (5);

op (a: ℕ) ⊕ (b: ℕ) -> ℕ {
    return a * 2 + b * 2;
}

if 4 ⊕ 5 != 18 {
    panic("This should not happen");
}