Newest at the top
| 2026-03-09 10:05:22 +0100 | <lambdabot> | Num a => a -> Sum a |
| 2026-03-09 10:05:21 +0100 | <probie> | :t mappend mempty Sum |
| 2026-03-09 10:05:04 +0100 | <Leary> | One key detail here being `Monoid b => Monoid (a -> b)`. |
| 2026-03-09 10:04:42 +0100 | <Leary> | castan: It doesn't get /parsed/ as that; that's what it equals. `mappend mempty x = x` ==> `mappend mempty Sum = Sum` ==> `mappend mempty Sum 3 = Sum 3`. |
| 2026-03-09 10:04:35 +0100 | <probie> | None |
| 2026-03-09 10:03:08 +0100 | loungerry_ | (~loungerry@150.241.86.78) (Remote host closed the connection) |
| 2026-03-09 10:02:24 +0100 | czan | (~czan@user/mange) czan |
| 2026-03-09 10:01:50 +0100 | <castan> | Hi. Can someone help me understand what sorcery makes `mappend mempty Sum 3` get parsed as `mappend mempty (Sum 3)` |
| 2026-03-09 09:57:31 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-09 09:55:40 +0100 | castan | (~castan@2a02:2f0f:8210:d800:1625:20a6:66c:b041) |
| 2026-03-09 09:52:40 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-09 09:52:21 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-09 09:52:21 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) (Changing host) |
| 2026-03-09 09:52:21 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) |
| 2026-03-09 09:52:18 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-09 09:49:48 +0100 | chele | (~chele@user/chele) chele |
| 2026-03-09 09:46:23 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-03-09 09:45:45 +0100 | akegalj | (~akegalj@246-221.dsl.iskon.hr) akegalj |
| 2026-03-09 09:42:00 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-09 09:41:49 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-09 09:38:26 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2026-03-09 09:38:09 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-03-09 09:37:15 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-03-09 09:31:59 +0100 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 245 seconds) |
| 2026-03-09 09:29:53 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-09 09:25:38 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-09 09:25:08 +0100 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2026-03-09 09:22:31 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-09 09:20:18 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds) |
| 2026-03-09 09:18:44 +0100 | ft | (~ft@p4fc2a98c.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-03-09 09:02:00 +0100 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-03-09 09:00:56 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2026-03-09 08:53:33 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-09 08:47:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-09 08:42:52 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-09 08:41:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-09 08:30:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-09 08:29:51 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-09 08:29:51 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) (Changing host) |
| 2026-03-09 08:29:51 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) |
| 2026-03-09 08:25:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-09 08:17:00 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-03-09 08:16:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-09 08:12:53 +0100 | czan | (~czan@user/mange) (Quit: Dinner time!) |
| 2026-03-09 08:12:44 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-09 08:11:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-09 08:10:11 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-09 08:01:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-09 07:57:54 +0100 | califax_ | califax |
| 2026-03-09 07:57:41 +0100 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |