dhall-1.3.0: Prelude/Bool/or

{-
The `or` function returns `True` if there are any `True` elements in the `List`
and returns `False` otherwise

Examples:

```
./or ([True, False, True] : List Bool) = True

./or ([] : List Bool) = False
```
-}
let or : List Bool → Bool
    =   λ(xs : List Bool)
    →   List/fold Bool xs Bool (λ(l : Bool) → λ(r : Bool) → l || r) False

in  or