egison-5.0.0: sample/tak.egi

--
-- This file has been auto-generated by egison-translator.
--

def tarai {Ord a} (x: a) (y: a) (z: a) : a :=
  if x <= y
    then y
    else tarai (tarai (x - 1) y z) (tarai (y - 1) z x) (tarai (z - 1) x y)

tarai 1 1 1

tarai 4 2 1

def tak {Ord a} (x: a) (y: a) (z: a) : a :=
  if x <= y
    then z
    else tak (tak (x - 1) y z) (tak (y - 1) z x) (tak (z - 1) x y)

tak 1 1 1

tak 4 2 1