The Code-Bin
Links
Home
Add your code!
All Listings
About
Latest Entry
Featured Scripts
Author's Website
Latest Entries
FFMPEG Thumbnail Scr...
PHP, 0.8KB
Jul. 29, 10:24pm
John
Z80 Assembler, 190 bytes
Feb. 17, 3:36am
John
Z80 Assembler, 176 bytes
Sep. 13, 2:19am
John
Z80 Assembler, 77 bytes
Sep. 13, 2:18am
John
Z80 Assembler, 209 bytes
Sep. 13, 2:17am
untitled HTML Code
Posted by: fbghfd | February 2, 2008 @ 8:14pm
HTML Code
[
Download
]
(assert-event (=(set0 (list (cons "Alice" "Mike") (cons "Mike" "Julia") (cons "Julia" "Kenny") (cons "Alice" "Kenny")) (list "Alice" "Julia"))) (list "Mike" "Kenny" "Mike" "Kenny")) ACL2 Error in macro expansion: A non-even key/value arglist was encountered while macro expanding (ASSERT-EVENT (= (SET0 (LIST (CONS "Alice" "Mike") (CONS "Mike" "Julia") (CONS "Julia" "Kenny") (CONS "Alice" "Kenny")) (LIST "Alice" "Julia"))) (LIST "Mike" "Kenny" "Mike" "Kenny")). The argument list for ASSERT-EVENT is (FORM &KEY ON-SKIP-PROOFS MSG).
Syntax Highlighting
[
Open in new window
]
Author Comments
none
Rating
4.55 / 8
176 Votes
http://codebin.yi.org/99
page generated in 0.00 seconds