-- action: run
-- outcome: success

zero = f x -> x
succ = n f x -> f (n f x)

println_number = number -> {
    number { x -> println " o " } ()
    println "---"
}

syntax 'loop do {
    l = () -> { do; l () }
    l ()
}

counter = zero

-- loop {
--     println_number counter
--     counter = succ counter
-- }