-- Factorial function in Disciple
module Main where

fac :: Nat# -> Nat#
fac n = case n of
    0# -> 1#
    _  -> n * fac (n - 1#)

main :: Unit
main = do
    print (fac 10#)