egison-4.1.2: benchmark/fact-30000.egi

def fact :=
  \match as integer with
    | #1 -> 1
    | $x -> x * fact (x - 1)

fact 30000