(module examples mzscheme
  (require "closure-calculus.ss"
           (planet "reduction-semantics.ss" ("robby" "redex.plt" 2 2))
           (planet "gui.ss" ("robby" "redex.plt" 2 2)))
  
  (traces lang reductions 
          (term
           (0 (((lambda 1) ())))))
  
  (traces lang reductions
          (term 
           (((lambda 0) (lambda 1)) ())))
  
  
  (define not-f
    (term (lambda (lambda (lambda ((2 0) 1))))))
  
  (define true-f
    (term (lambda (lambda 1))))
  
  (define false-f
    (term (lambda (lambda 0))))
  
  (traces lang reductions
          `((((,not-f ,true-f) ,true-f) ,false-f) ()))
  )