Page History

Versions Compared

Key

This line was added.
This line was removed.
Formatting was changed.

...

a boolean constant true or false;
a symbol S;
(list 'not X) where X is a bool-SchemeExp ;
(list op X Y) where op is 'and , 'or , or 'implies where X and Y are {{bool-SchemeExp}}s;
(list 'if X Y Z) where X, Y, and Z are {{bool-SchemeExp}}s.

The provided functions parse and unparse have the following signatures.

...