Filtering...

lambdap-tests

books/std/system/lambdap-tests

Included Books

lambdap assert-bang
other
(in-package "ACL2")
include-book
(include-book "lambdap")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (lambdap '(lambda (x y) (binary-+ x (len (cons '3 'nil))))
    (w state)))
other
(assert! (not (lambdap '(lambda (x) (fffff x)) (w state))))