(eq 1 1) ; True
(eq 1 2) ; False

(define a (λ () (+ 1 2 3)))
(define b (lambda () (+ 1 2 3)))
(eq a b) ; True

(eq () nil) ; True

(eq () (eval ())) ; True