Am Dienstag, 17. Februar 2009 03:42 schrieb Isaac Dupree:
I'm really confused that when I replied (not reply-to-all, not
reply-to-list, just reply) to that message, it went to the lists and not to
you Brent! (KMail 1.10.3) -- so I totally edited the To lines, to send
this message...
Isn’t
Isaac Dupree wrote:
Natural numbers under min don't form a monoid, only naturals under max do (so
you can have a zero element)
Though, FWIW, you can use Nat+1 with the extra value standing for
Infinity as the identity of min (newtype Min = Maybe Nat).
I bring this up mainly because it can
On Mon, Feb 16, 2009 at 8:13 PM, wren ng thornton w...@freegeek.org wrote:
Isaac Dupree wrote:
Natural numbers under min don't form a monoid, only naturals under max do
(so you can have a zero element)
Though, FWIW, you can use Nat+1 with the extra value standing for Infinity
as the
