Initializing the A++ Interpreter part 2

(define equaln (lambda (m n) 
                 (and (zerop (sub m n))
                      (zerop (sub n m))))) 
(define gtp    (lambda (m n) 
                 (not (zerop (sub m n)))))
(define ltp    (lambda (m n) 
                 (not (zerop (sub n m)))))
(define gep    (lambda (m n) 
                 (zerop (sub n m))))
(define cons   (lambda (x y) 
                 (lambda (f) 
                   (f x y))))
(define car    (lambda (l) 
                 (l true)))
(define cdr    (lambda (l) 
                 (l false)))
(define nil    (lambda (l)
                 true))
;
(define nullp  (lambda (l)
                 (l (lambda (a d)
                      false))))
;

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz