# HG changeset patch # User HackBot # Date 1349534193 0 # Node ID 6bbb7b616448e3bc40dd700f6fc55d02dfef328f # Parent c54fd5131e8f3007f07746189d412a78044753b2 pastelogs oerjan_?> [@]tell < diff -r c54fd5131e8f -r 6bbb7b616448 paste/paste.21919 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/paste/paste.21919 Sat Oct 06 14:36:33 2012 +0000 @@ -0,0 +1,3 @@ +2012-01-24.txt:08:49:47: @tell Does the Haskell compiler know that equality is reflexive? <-- it actually isn't, for Double (NaN) +2012-10-04.txt:16:07:38: @tell doesn't mediawiki have an easy way to display the intersection of two categories?<-- hm i think i may have wanted that yesterday when failing to find out if a kind of brainfuck derivative existed. or maybe not, not sure what the other category should have been. +2012-10-06.txt:14:34:33: @tell I think the DotFami mapper codes actually form a idempotent commutative monoid, rather than just being a monoid. <-- i think an idempotent commutative monoid may the same as a semilattice