(def and 
     (lm (a b) 
         (nand (nand a b) (nand a b))))

(def or
     (lm (a b)
         (nand (nand a a) (nand b b))))

(def not
     (lm (a)
          (nand a a)))

(def nor
     (lm (a b)
         (not (or a b))))


;; XXX ((lambda (x) (add x 1)) 5)


;; Local Variables:
;; mode: scheme
;; eval: (message "main()")
;; fill-column: 55
;; comment-column: 40
;; indent-tabs-mode: nil
;; tab-width: 2
;; c-basic-offset: 2
;; End: