Newest at the top
| 2026-01-23 05:24:15 +0100 | sp1ff` | (~user@2601:1c2:4701:900::32d4) (Read error: Connection reset by peer) |
| 2026-01-23 05:23:21 +0100 | <lambdabot> | [('h','w'),('e','o'),('l','r'),('l','l'),('o','d')] |
| 2026-01-23 05:23:20 +0100 | <probie> | > let zip' = foldr (\x k ys -> case ys of { [] -> []; y:ys' -> (x,y):k ys' }) (const []) in zip' "hello" "world!" |
| 2026-01-23 05:23:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 05:17:51 +0100 | <probie> | Zemyla: You don't need to fold over both them, just one |
| 2026-01-23 05:16:35 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-01-23 05:16:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-23 05:11:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 05:04:31 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2026-01-23 05:00:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-23 04:58:30 +0100 | leah2 | (~leah@vuxu.org) (Ping timeout: 265 seconds) |
| 2026-01-23 04:55:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 04:55:34 +0100 | chenjf | (~chenjf@68.64.178.54) (Client Quit) |
| 2026-01-23 04:55:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2026-01-23 04:55:05 +0100 | <monochrom> | Belated: My hot take: How are languages without call/cc or at least shift/reset supposed to be useful? >:) |
| 2026-01-23 04:53:28 +0100 | chenjf | (~chenjf@68.64.178.54) |
| 2026-01-23 04:51:58 +0100 | rotcev | (~rotcev@user/rotcev) (Quit: Client closed) |
| 2026-01-23 04:45:26 +0100 | <haskellbridge> | <Zemyla> You can even zip lists by folding over both of them. |
| 2026-01-23 04:45:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-23 04:41:09 +0100 | foul_owl | (~kerry@94.156.149.91) foul_owl |
| 2026-01-23 04:40:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 04:38:57 +0100 | Googulator26 | Googulator |
| 2026-01-23 04:34:12 +0100 | ChanServ | +v haskellbridge |
| 2026-01-23 04:34:12 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-01-23 04:29:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-23 04:26:58 +0100 | foul_owl | (~kerry@94.156.149.99) (Ping timeout: 260 seconds) |
| 2026-01-23 04:24:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 04:23:03 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-01-23 04:22:02 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-01-23 04:13:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-23 04:08:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 03:57:59 +0100 | ChanServ | +v haskellbridge |
| 2026-01-23 03:57:59 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-01-23 03:57:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-23 03:57:25 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-01-23 03:55:29 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-01-23 03:53:09 +0100 | trickard_ | trickard |
| 2026-01-23 03:53:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 03:52:25 +0100 | mange | (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-01-23 03:51:54 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-23 03:47:59 +0100 | <Leary> | It should; Haskell sans recursion ~ System F ~ Dhall. |
| 2026-01-23 03:43:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-23 03:41:32 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-01-23 03:41:30 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:9d11::) terrorjack |
| 2026-01-23 03:40:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-23 03:35:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 03:33:01 +0100 | <jackdk> | Reminds me of Dhall |
| 2026-01-23 03:24:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-23 03:19:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 03:13:51 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |