;; To see the ISWIM implementation, click the "Check Syntax" button,
;; then right-click on "iswim.ss" to open the file.
(require (lib "iswim.ss" "reduction-semantics" "examples")
         (lib "gui.ss" "reduction-semantics"))

;; Try ->v or :->v
(traces iswim-grammar :->v
        `((("lam" w (("lam" q q) w) )
           ("lam" x ("+" 10 ("-" 11 x))))
          (("lam" z z) 12)))

(traces iswim-grammar ->v
        `(,sum 1))