Newest at the top
| 2025-08-26 08:26:05 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-26 08:21:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-26 08:18:54 +0200 | <Axman6> | Looks a lot like either Alternative's empty of MonadPlus' mzero |
| 2025-08-26 08:17:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-26 08:17:34 +0200 | <Axman6> | what are the properties of f? |
| 2025-08-26 08:17:33 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-26 08:17:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-26 08:08:56 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 258 seconds) |
| 2025-08-26 08:06:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 08:01:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-26 07:56:57 +0200 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2025-08-26 07:55:49 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-08-26 07:50:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-26 07:47:04 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-26 07:43:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-26 07:43:10 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-08-26 07:41:43 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 2025-08-26 07:39:55 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-08-26 07:38:03 +0200 | <probie> | What is a good name for a class `class NameHere f where { empty :: f a }`? Does it have a canonical name? |
| 2025-08-26 07:34:49 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-08-26 07:32:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 07:28:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-26 07:27:43 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-08-26 07:26:23 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-26 07:22:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2025-08-26 07:17:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-26 07:14:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-26 07:14:12 +0200 | michalz | (~michalz@185.246.207.221) |
| 2025-08-26 07:10:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-26 07:05:35 +0200 | trickard_ | trickard |
| 2025-08-26 06:59:41 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-08-26 06:59:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-26 06:58:49 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Client Quit) |
| 2025-08-26 06:57:39 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-08-26 06:54:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-26 06:53:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-08-26 06:53:07 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) PotatoGim |
| 2025-08-26 06:52:42 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Server closed connection) |
| 2025-08-26 06:43:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-26 06:38:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-26 06:28:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 06:25:13 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-08-26 06:24:54 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Client Quit) |
| 2025-08-26 06:24:47 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-08-26 06:24:42 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-26 06:24:42 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-26 06:24:29 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-26 06:23:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-26 06:16:50 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-08-26 06:11:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |