About

Questions about programming or mathematical constructs that enable verification, selection, or branching behavior when one or more criteria are determined to be True.

Programming and mathematical conditional constructs including rules, patterns, and definitions used in pattern matching or pattern constraints.

See also: Conditioned, ConditionalExpression

history | excerpt history