log

age author description
Mon, 29 Feb 2016 23:08:21 +0000 HackBot <b_jonas> slashlearn ^/^ (also notated by \xe2\x8a\x95 or \xe2\x8a\xbb) is the exclusive-or operator; \xe2\x88\xa7 (also notated by &) is the and (conjunction) operator; ^ (also notated by \xe2\x86\x91 or ** or \xe2\x8b\x86) is the power operator.
Mon, 29 Feb 2016 23:03:44 +0000 HackBot <b_jonas> slashlearn ^/^ (also notated by \xe2\x8a\x95 or \xe2\x8a\xbb) is the exclusive-or operator; \xe2\x88\xa7 (also notated by &) is the and (conjunction) operator; ^ (also notated by \xe2\x86\x91 or ** or *) is the power operator.
Mon, 29 Feb 2016 22:10:51 +0000 HackBot <shachaf> addquote <b_jonas> shachaf: different notation. -o is logical or in find, but it\'s linear implication in linear logic