The wikipedia articles are terribly written (for math loves or people who just need to refresh their knowledge).

What is a "sum" of types? What is a product of types? Is it possible to Cat x Dog or Cat + Dog? What does that even mean?

no comments (yet)

sorted by: hot top controversial new old
there doesn't seem to be anything here