!(load "meta-letrec.lurk")

!(assert-eq 720
             (let
                 ((fact6 (eval
                          '(letrec ((fact
                                      (lambda (n)
                                        (if (eq n 0)
                                            1
                                            (* n (fact (- n 1)))))))
                            (fact 6)))))
               fact6))