Communities (29)
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 →
Top tags (0)
This user has not participated in any tags.
Badges (5)
Gold
—
Silver
3
Rarest
Bronze
2
Rarest
-
Sep 30 '18
-
Jan 22 '18