[Haskell-cafe] Ord for partially ordered sets

Ertugrul Söylemez ertesx at gmx.de
Fri Apr 24 20:32:00 UTC 2015


> I'm confused.  What is supposed to be the result of `g1 <= g2` when `g1` and
> `g2` are not comparable according to the partial order?

False.


Greets,
Ertugrul
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150424/42867f7d/attachment.sig>


More information about the Haskell-Cafe mailing list