/Bool

/Prelude-v21.1.0/Bool

Copy path to clipboard

Exported files:

and.dhall:
```
List Bool → Bool
```

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

even.dhall:
```
List Bool → Bool
```

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

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