-
Logic
and isEmpty not or cond ifElse allPass anyPass defaultTo both complement either propSatisfies unless when pathSatisfies until and a → b → a | b Added in v0.1.... -
Logic
and isEmpty not or cond ifElse allPass anyPass defaultTo both complement either propSatisfies unless when pathSatisfies until xor and a → b → a | b Added in ... -
4.19 Put together all code in the appendix (*)
Unless the target readers are highly interested in the computational details while they read a report, you may not want to show the source code blocks in the report. For this purp... -
Logic
and isEmpty not or cond ifElse allPass anyPass defaultTo both complement either propSatisfies unless when pathSatisfies until and a → b → a | b Added in v0.1.... -
Logic
and isEmpty not or cond ifElse allPass anyPass defaultTo both complement either propSatisfies unless when pathSatisfies until and a → b → a | b Added in v0.1.... -
Logic
and isEmpty not or cond ifElse allPass anyPass defaultTo both complement either propSatisfies and a → b → a | b Added in v0.1.0 Returns the first argument if it ... -
Logic
and isEmpty not or cond ifElse allPass anyPass defaultTo both complement either and a → b → a | b Added in v0.1.0 Returns the first argument if it is falsy, other... -
Logic
and isEmpty not or cond ifElse allPass anyPass defaultTo both complement either propSatisfies unless when pathSatisfies until xor isNotEmpty and a → b → a | b... -
Logic
and isEmpty not or cond ifElse allPass anyPass defaultTo both complement either propSatisfies unless when pathSatisfies until and a → b → a | b Added in v0.1.... -
Logic
and isEmpty not or cond ifElse allPass anyPass defaultTo both complement either propSatisfies unless when pathSatisfies until xor isNotEmpty and a → b → a | b...