anchor.diff:        ;; 	  (t-print (t-eval (read) env))
         ;; 	(error (e) (princ e))))))
         )))
  +
  +;; for debug
  +(defun p (value)
  +  (format t "debug: ~a~%" value)
  +  value)
  
positive.code: 		       (iter (rest-exps exps)))))))
      (iter (and-exps exp))))
  
  ;; begin
  
  (defun begin-p (exp)
  
negative.code:     ((cond-p exp) (t-eval (cond->if exp) env))
      ((and-p exp) (eval-and exp env))
      ((or-p exp) (eval-or exp env))
      ((let-p exp) (t-eval (let->combination exp) env))
      ((begin-p exp) (eval-sequence (begin-actions exp) env))
      ((application-p exp) (eval-application exp env))
      (t 'not-implemented)))
  