egison-3.3.10: sample/tail-recursion.egi

(define $f (lambda [$x]
             (if (eq? x 0)
               (f (+ x 1))
               (f (- x 1)))))

(define $g (lambda [$x] (h (+ x 1))))
(define $h (lambda [$x] (g (- x 1))))

(f 0)
;(g 0)