Included Books
other
(in-package "ACL2")
include-book
(include-book "close-lambdas")
include-book
(include-book "std/testing/assert-equal" :dir :system)
other
(assert-equal (close-lambdas 'x) 'x)
other
(assert-equal (close-lambdas ''#\+) ''#\+)
other
(assert-equal (close-lambdas '(g a b)) '(g a b))
other
(assert-equal (close-lambdas '((lambda (x y) (cons x y)) a y)) '((lambda (x y) (cons x y)) a y))
other
(assert-equal (close-lambdas '((lambda (x) (cons x y)) (f a))) '((lambda (x y) (cons x y)) (f a) y))