Newest at the top
| 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) |
| 2026-01-23 03:11:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-23 03:10:07 +0100 | <Leary> | chromoblob: Write all your co/inductive co/data types in greatest/least-fixed-point form, and all your logic in folds. It's not even as bad as it sounds! |
| 2026-01-23 03:08:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-23 03:01:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 02:54:36 +0100 | Inline | (~User@2001-4dd7-bc56-0-bf4e-84aa-8c9c-590c.ipv6dyn.netcologne.de) Inline |
| 2026-01-23 02:50:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-23 02:46:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 02:45:34 +0100 | omidmash3 | omidmash |
| 2026-01-23 02:45:34 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2026-01-23 02:43:44 +0100 | omidmash3 | (~omidmash@user/omidmash) omidmash |
| 2026-01-23 02:42:24 +0100 | Inline | (~User@2001-4dd7-bc56-0-fdb7-c703-fc72-e0a.ipv6dyn.netcologne.de) (Ping timeout: 252 seconds) |