| 2025-12-20 00:00:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 00:11:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 00:16:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 00:22:40 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-20 00:26:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 00:31:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 00:42:17 +0100 | pfc | (~pfc@user/pfc) pfc |
| 2025-12-20 00:42:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 00:44:21 +0100 | pfc_ | (~pfc@217.131.80.94) |
| 2025-12-20 00:46:28 +0100 | pfc | (~pfc@user/pfc) (Ping timeout: 246 seconds) |
| 2025-12-20 00:47:07 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 00:47:20 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 00:48:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 00:54:47 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 00:56:34 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2425:17c3:1f51:60b0) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-20 00:57:22 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-20 00:57:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 00:58:02 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 01:03:00 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 01:04:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 01:07:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 01:08:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-20 01:12:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 01:14:00 +0100 | wanderer | (~wanderer@user/wanderer) (Remote host closed the connection) |
| 2025-12-20 01:14:07 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-20 01:17:01 +0100 | Wanderer | (~wanderer@user/wanderer) Wanderer |
| 2025-12-20 01:17:43 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 01:18:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-20 01:22:31 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 264 seconds) |
| 2025-12-20 01:23:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 01:26:22 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-20 01:27:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 01:30:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 01:34:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 01:42:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-12-20 01:42:05 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 01:42:19 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 01:45:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 01:50:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 01:53:07 +0100 | trickard_ | trickard |
| 2025-12-20 02:00:19 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-20 02:01:02 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-20 02:01:03 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 02:01:16 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 02:01:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 02:04:04 +0100 | <haskellbridge> | <Zemyla> I kind of wish tail = drop 1. |
| 2025-12-20 02:04:38 +0100 | <haskellbridge> | <Liamzee> wait, if Haskell had "import with" keywords, would Haskell have OCaml functors? |
| 2025-12-20 02:06:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 02:06:18 +0100 | <haskellbridge> | <Liamzee> i'm now at the stage where i sort of wish i could pre-adapter all imports in a module cheaply |
| 2025-12-20 02:11:53 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 244 seconds) |
| 2025-12-20 02:14:37 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-20 02:16:30 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-20 02:17:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 02:22:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 02:22:14 +0100 | trickard_ | trickard |
| 2025-12-20 02:24:39 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-20 02:24:40 +0100 | omidmash9 | (~omidmash@user/omidmash) omidmash |
| 2025-12-20 02:24:53 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-20 02:26:34 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2025-12-20 02:26:34 +0100 | omidmash9 | omidmash |
| 2025-12-20 02:32:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 02:37:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 02:38:49 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 02:39:01 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 02:42:28 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 265 seconds) |
| 2025-12-20 02:42:59 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |