/test-package/Pair.dhall
Copy path to clipboardJust a Pair right here
Source
let Pair
: ∀(A : Type) → ∀(B : Type) → Type
= λ(A : Type) → λ(B : Type) → { first : A, second : B }
in Pair
Just a Pair right here
let Pair
: ∀(A : Type) → ∀(B : Type) → Type
= λ(A : Type) → λ(B : Type) → { first : A, second : B }
in Pair