Permalink
Branch: master
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
2 lines (1 sloc) 62 Bytes
λ(f : Type → Type) → ∀(a : Type) → (f a → a) → a