1 2 3 4 5 6 7 8
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 */