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: bhf | February 2, 2008 @ 8:19pm
HTML Code
[
Download
]
;;set0-helper : String relationp -> setp ;;returns a set of the elements in the relation related to the input String (defun set0-helper (e r) (cond ((endp r) nil) ((set-memberp e (car r)) (cons (car(car r)) (cons (cdr(car r)) (set0-helper e (cdr r))))) (t (set0-helper e (cdr r))))) ;;set0 : relationp setp -> setp ;;returns a set of the elements related to the elements of the original set (defun set0 (r s) (cond ((endp s) nil) (t (cons (set0-helper (car s) r) (set0 (cdr s) r)))))
Syntax Highlighting
[
Open in new window
]
Author Comments
none
Rating
4.39 / 8
163 Votes
http://codebin.yi.org/100
page generated in 0.00 seconds