Newest at the top
| 2025-06-16 23:24:12 +0200 | <EvanR> | the issues was supposedly not that they're not Foldable but that you don't have e.g. (a -> a -> a -> b) -> b |
| 2025-06-16 23:20:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-16 23:20:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-06-16 23:17:21 +0200 | wbooze | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline |
| 2025-06-16 23:17:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 23:16:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 23:14:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-16 23:11:44 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 2025-06-16 23:11:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 23:11:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-16 23:10:33 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.122) |
| 2025-06-16 23:07:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-16 23:06:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-16 23:06:52 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-16 23:04:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 23:03:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 23:03:23 +0200 | <monochrom> | Either that, or someone should do it and PR. |
| 2025-06-16 23:03:05 +0200 | <monochrom> | I would expect V1 and V3 to be Foldable just like V2 is. |
| 2025-06-16 23:02:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 23:01:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 22:59:38 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.122) (Ping timeout: 252 seconds) |
| 2025-06-16 22:56:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-16 22:54:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 22:53:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-16 22:53:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-06-16 22:51:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-16 22:49:53 +0200 | shaeto | (~Shaeto@94.25.234.41) (Quit: WeeChat 4.1.1) |
| 2025-06-16 22:46:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 22:45:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 22:44:17 +0200 | iNomad | (~iNomad@user/iNomad) (Quit: leaving) |
| 2025-06-16 22:42:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fcd1:f9a6:3a3a:278f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-16 22:40:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 22:40:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 22:39:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-16 22:36:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 22:35:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 22:35:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-16 22:27:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 22:27:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 22:24:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-16 22:24:41 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-06-16 22:21:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 22:21:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 22:20:08 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-06-16 22:19:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-16 22:18:16 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.122) segfaultfizzbuzz |
| 2025-06-16 22:14:57 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.122) (Ping timeout: 276 seconds) |
| 2025-06-16 22:14:28 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-06-16 22:13:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 22:13:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |