/Prelude-v20.2.0/Function

Exported files:

• compose
• compose.dhall:

  ∀(a : Type) → ∀(b : Type) → ∀(c : Type) → (a → b) → (b → c) → a → c
  

• identity
• identity.dhall:

  ∀(a : Type) → ∀(x : a) → a
  

• package.dhall