(examples-for rfnwith

("generates a locally-scoped recursive function"
 (rfnwith triangle (n 10)
          (if (eq? n 0)
              0
              (+ n (triangle (- n 1)))))
 55))