praxis-cli 0.1.0

The `praxis` command-line tool: run, check and debug Praxis programs.
1
2
3
4
5
6
7
8
9
10
11

// A `:bp` marker in a loop, so a stop can be counted and the state it shows
// changes from one to the next (ยง9.8).
fn tally(xs: Vec[Int]) -> Int {
    var total = 0
    for n in xs {
        total = total + n :bp
    }
    total
}

out(tally([4, 7]))