/* Test factorial function with @ operator */
factorial : n -> 
  when n is
    0 then 1
    _ then n * (@factorial (n - 1));

result : factorial 5;
..out result;