Skip to content

Latest commit

 

History

History

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 

Write function (forall P L) which returns #t iff all values in L satisfy predicate P. Also write function (exists P L) which returns #t iff some value in L satisfies predicate P.