| 2025-11-03 00:01:18 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-03 00:01:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 00:01:49 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-03 00:02:52 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 00:05:28 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-03 00:06:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 00:06:44 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-03 00:12:37 +0100 | <EvanR> | >The bulk of the dictionary documents type variables, where overly long variable names can blow out complicated type signatures |
| 2025-11-03 00:13:07 +0100 | <EvanR> | oh yeah, naming the type variables is much less common it seems |
| 2025-11-03 00:14:17 +0100 | fp | (~Thunderbi@216-165-247-67.championbroadband.com) fp |
| 2025-11-03 00:16:12 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-03 00:16:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 00:18:46 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-03 00:21:46 +0100 | <EvanR> | this dictionary could be 26 pages long, one chapter for each page |
| 2025-11-03 00:22:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 00:22:17 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-11-03 00:28:34 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 00:30:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 00:34:21 +0100 | AlexNoo_ | (~AlexNoo@178.34.151.83) |
| 2025-11-03 00:37:00 +0100 | AlexZenon | (~alzenon@178.34.160.166) (Ping timeout: 245 seconds) |
| 2025-11-03 00:37:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 00:37:57 +0100 | AlexNoo | (~AlexNoo@178.34.160.166) (Ping timeout: 252 seconds) |
| 2025-11-03 00:38:50 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 2025-11-03 00:41:10 +0100 | AlexZenon | (~alzenon@178.34.151.83) |
| 2025-11-03 00:48:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 00:54:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 01:04:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 01:07:35 +0100 | anpad | (~pandeyan@user/anpad) (Ping timeout: 244 seconds) |
| 2025-11-03 01:08:06 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-03 01:09:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |