abrudz

  foo(bar(baz(42)))

  foo bar baz 42

  A.foo(bar(B.baz(42)))

  A foo bar B baz 42

  x f[k] y

  x n.f y

  x (expression).f y

  x (namespace1 namespace2).f y

  (x[1] namespace1.f y[1])(x[2] namespace2.f y[2])

  'AX' 'BX' (ns0 ns1).⍳ 'X'

  if a < b → c := true
   □ a ≥ b → c := false
  fi

  c ← {
        a < b : true
        a ≥ b : false
      }