zion-lambda-syntax.md

two_functions.zion

let c = |f, g| => |x| => f(g(x))
fn d(f, g) {
  return fn (x) {
    return f(g(x))
  }
}

Parse the file

$ zion parse two_functions.zion
two_functions.zion:1:5: two_functions::c = (λf,g . return! (λx . return! f(g(x))))
two_functions.zion:2:4: two_functions::d = (λf,g . return! (λx . return! f(g(x))))
...