Dima
My current level: ∀ f. Functor f ⇒ a → (a → f b) → s → f t
Work
Software Engineer
Catamorphisms
Catamorphisms
1 min read
loading...
Want to connect with Dima?
Create an account to connect with Dima. You can also sign in below to proceed if you already have an account.