IRCBrowseLink

Note: This channel on freenode is currently not being logged anymore. The logs are reproduced here for posterity.

2020-11-12 19:53:03 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-12 19:53:16 +0100xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds)
2020-11-12 19:53:49 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-11-12 19:54:26 +0100brettgilio(~brettgili@brettgilio.com)
2020-11-12 19:54:49 +0100xerox_(~xerox@unaffiliated/xerox)
2020-11-12 19:57:25 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-12 19:59:26 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-11-12 20:00:09 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-11-12 20:00:36 +0100gproto23(~gproto23@unaffiliated/gproto23)
2020-11-12 20:00:52 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-11-12 20:01:26 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-11-12 20:02:22 +0100conal_(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-12 20:03:18 +0100 <kritzefitz> In parsec (string "a" >> mzero) `mplus` string "ab" behaves differently than mzero `mplus` string "ab". Does that violate the laws for mzero or am I misinterpreting the laws for mzero?
2020-11-12 20:03:34 +0100berberman_(~berberman@unaffiliated/berberman)
2020-11-12 20:03:57 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-11-12 20:05:08 +0100chaosmasttter(~chaosmast@p200300c4a70f6201c1c6e7084fdfaaff.dip0.t-ipconnect.de)
2020-11-12 20:06:17 +0100 <glguy> kritzefitz: I think you're misunderstanding the laws
2020-11-12 20:06:30 +0100 <glguy> because MonadPlus doesn't have very many
2020-11-12 20:06:52 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 272 seconds)
2020-11-12 20:06:52 +0100 <kritzefitz> I'm specifically talking about v >> mzero = mzero.
2020-11-12 20:06:55 +0100conal(~conal@64.71.133.70)
2020-11-12 20:06:56 +0100coot(~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-12 20:07:33 +0100Amras(~Amras@unaffiliated/amras0000)
2020-11-12 20:07:52 +0100 <glguy> I think parsec doesn't satisfy the laws as written in Haddock, but also that people often don't agree on how MonadPlus should actually behave
2020-11-12 20:07:57 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)