factorial : n -> 
  when n is
    0 then 1
    _ then n * (factorial (n - 1));

/* Using factorial */
..out factorial 5;  /* Output: 120 */
..out factorial 0;  /* Output: 1 */