/Prelude-v17.0.0/Function

Exported files:

• compose:

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

• identity:

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

• package.dhall