/Prelude-v21.1.0/Bool
Copy path to clipboardExported files:
- and.dhall:
List Bool → Bool
- build.dhall:
(∀(bool : Type) → ∀(true : bool) → ∀(false : bool) → bool) → Bool
- even.dhall:
List Bool → Bool
- fold.dhall:
∀(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