ashlang 0.1.3

A language for zero knowledge proofs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

let a = 9000
let b = 9001

if a == b - 1 {
    let z = 99
    let zz = 999
    z = zz
    zz = b
    a = b
}

let z = 88
let zz = 8888
a = add(z, zz)

assert_eq(a, z + zz)
assert_eq(a, 8976)