make max/min work with strings as well

fantasyland / fantasy-monoids

A collection of monoids

29 stars 8 forks source link

Closed stoeffel closed 8 years ago

stoeffel commented 8 years ago

closes #5

SimonRichardson commented 8 years ago

Yeah, I wonder if we should implement Ord in the long term, otherwise I'm happy with this for now!

:+1:

stoeffel commented 8 years ago

Yop was thinking about that too. Would be nice! Maybe I have some time this weekend.

SimonRichardson commented 8 years ago

Any help is greatly appreciated, thanks for the PR :)