/Bool

/Prelude-v16.0.0/Bool

Copy path to clipboard

Exported files:

and:
```
List Bool → Bool
```

(∀(bool : Type) → ∀(true : bool) → ∀(false : bool) → bool) → Bool

even:
```
List Bool → Bool
```

∀(b : Bool) → ∀(bool : Type) → ∀(true : bool) → ∀(false : bool) → bool

not:
```
Bool → Bool
```
odd:
```
List Bool → Bool
```
or:
```
List Bool → Bool
```
package.dhall
show:
```
Bool → Text
```