## Summary Location of documentation issue: Prelude, operators && and || The documentation simply describes them as *Boolean "and"* and *Boolean "or"*. The fact that they are lazy in the second argument is important for their semantic and should be documented. ## Proposed improvements or changes Change their documentation to *Boolean "and", lazy in the second argument* and *Boolean "or", lazy in the second argument*