changeset 763:6bbb7b616448

<oerjan> pastelogs oerjan_?> [@]tell <
author HackBot
date Sat, 06 Oct 2012 14:36:33 +0000
parents c54fd5131e8f
children b4ca313fa22d
files paste/paste.21919
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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: <oerjan> @tell <zzo38> Does the Haskell compiler know that equality is reflexive? <-- it actually isn't, for Double (NaN)
+2012-10-04.txt:16:07:38: <oerjan> @tell <Arc_Koen> 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: <oerjan> @tell <zzo38> 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