search

fantasyland / fantasy-monoids

A collection of monoids
29 stars 8 forks source link

adds basic documentation #7

Closed stoeffel closed 8 years ago

stoeffel commented 8 years ago

This adds some basic definition of the provided monoids. Suggestion for a better way of defining Dual would be great. How do you like it? Want me to change anything?