; First, load your system
(load "p1")

; Use comments to describe what the next few test cases are.
; This mini and vastly incomplete test suite is from the assignment handout.

; First define some useful bindings, if necessary
(define bindings `((a . 1) (b . 2) (f . ,(lambda (x) (* x x)))))
bindings

; Then run the system
(run bindings)
((f a) + b)
(a := 5)
((g c) + 3)
((g x) := (x + 1))
((g c) + 3)
(g a)
(:= a 3)
(a :=)
(a := 5 2)
quit

; To start a different run, e.g., if you want to start again with different
; bindings, just redefine bindings and restart the system.

(define bindings ())
(run bindings)
; You can also place comments in the middle of your run, using `;'
; use an undefined variable
a
; define a variable by assigning it a value
(a := 5)
; use a defined variable
a
quit

; Or you can just call run with bindings you provide directly--do whatever
; most clearly shows how you are testing your system.
(run '((a . 1)))
a
quit