Permalink
Branch: master
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
5 lines (4 sloc) 172 Bytes
{- Represents a potentially-infinite structure lazily.
-}
λ(f : Type → Type)
→ ∀(r : Type) → (∀(a : Type) → { coalgebra : a → f a, seed : a } → r) → r