-- factorial :: Int -> Int
on factorial(x)
if x > 1 then
x * (factorial(x - 1))
else if x = 1 then
1
else
0
end if
end factorial