| 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) |
| 2025-11-03 01:20:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 01:25:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 01:27:34 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-11-03 01:30:48 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-03 01:31:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 01:36:36 +0100 | <monochrom> | I am not sure that chapters for q or z are really that long. :) |
| 2025-11-03 01:36:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 01:42:30 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-11-03 01:47:15 +0100 | Square3 | (~Square4@user/square) Square |
| 2025-11-03 01:47:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 01:50:00 +0100 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-11-03 01:52:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 01:55:32 +0100 | fp | (~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 256 seconds) |
| 2025-11-03 02:03:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 02:04:42 +0100 | bggd | (~bgg@2a01:e0a:819:1510:e235:2c82:c1ae:1944) |
| 2025-11-03 02:06:12 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-03 02:07:29 +0100 | qqe | (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-03 02:07:44 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 02:08:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-03 02:15:19 +0100 | otto_s | (~user@p4ff274ae.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-03 02:17:02 +0100 | otto_s | (~user@p5b044953.dip0.t-ipconnect.de) |
| 2025-11-03 02:18:00 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-03 02:19:46 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-03 02:19:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 02:22:04 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-11-03 02:27:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 02:28:08 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-03 02:36:19 +0100 | acidjnk | (~acidjnk@p200300d6e717199990ac1ea32c3bb350.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-03 02:37:22 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-03 02:37:45 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-03 02:37:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 02:38:32 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-03 02:40:08 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-03 02:43:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 02:43:40 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-11-03 02:45:51 +0100 | itaipu | (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |