Sample programs for the interpreter of Assignment #8:

nil

null?(nil)

cons(5,nil)

let lis = cons(5,cons(6,cons(7,nil)))
in car(cdr(lis))

let x = 1
in let s = cons(-(9,2), cons(zero?(x), cons(-(1000,1), nil)))
   in if car(cdr(s))
      then car(s)
      else car(cdr(cdr(s)))

list()

list(5)

list(1,2,3,4)

let s = list(30,40)
in let second = proc (w) car(cdr(w))
   in -(car(s), (second s))

letrec append(x) = proc (y) if null?(x)
                     then y
                     else cons(car(x),((append cdr(x)) y))
in ((append list(4,5)) list(8,9,10))