From MOQ.FI Wiki
Jump to: navigation, search
Also known as REDUNDANT

Always-patterns manifest as redundant syntactic conventions. Formulae that could be simplified but haven't been simplified are always-patterns. In more practical contexts, always patterns manifest as unnecessarily complicated conventions on how to do things that aren't questioned. These conventions could always be simplified.

See also