Top network posts

• 21 Clarifying the homomorphism's definition?
• 16 Is there a difference between type signatures a -> b -> a and c -> a -> c?
• 8 Generalizing fold such that it becomes expressive enough to define any finite recursion?
• 8 Why doesn't the definition of a category require an explicit notion of morphisms equality?
• 6 `(<*>)` definition for the Applicative functor?
• 6 `(a -> b) -> (c -> d)` in Haskell?
• 5 Where can I find correct package name and version for Haskell?
• View more network posts →