| 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) |
| 2025-11-03 02:50:55 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-11-03 02:50:58 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-11-03 02:51:11 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-03 02:51:53 +0100 | Googulator61 | Googulator |
| 2025-11-03 02:53:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 02:55:00 +0100 | annamalai | (~annamalai@157.32.123.184) annamalai |
| 2025-11-03 02:58:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 03:00:48 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2025-11-03 03:02:58 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-03 03:03:44 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-11-03 03:03:53 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-11-03 03:03:57 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-03 03:04:18 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-03 03:09:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 03:14:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 03:14:45 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-03 03:25:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 03:27:52 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-11-03 03:29:28 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-03 03:30:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-03 03:30:45 +0100 | img | (~img@user/img) img |
| 2025-11-03 03:36:17 +0100 | jmcantrell_ | jmcantrell |
| 2025-11-03 03:41:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 03:43:05 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-03 03:46:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 03:47:10 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-03 03:49:30 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 03:50:03 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 03:55:44 +0100 | Square3 | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2025-11-03 03:57:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 04:00:01 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-03 04:03:01 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2025-11-03 04:04:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 04:04:34 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-03 04:13:11 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-11-03 04:13:21 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-03 04:15:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 04:15:40 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 04:15:43 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 04:17:20 +0100 | karenw | (~karenw@user/karenw) (Client Quit) |
| 2025-11-03 04:20:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 04:20:50 +0100 | Googulator48 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-03 04:21:09 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 04:22:39 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 04:24:07 +0100 | Zemy_ | (~Zemy@2600:100c:b0aa:98b1:d8ea:ffff:fe76:5a1a) |
| 2025-11-03 04:24:07 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-03 04:24:41 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-03 04:24:44 +0100 | Zemy_ | (~Zemy@2600:100c:b0aa:98b1:d8ea:ffff:fe76:5a1a) (Read error: Connection reset by peer) |
| 2025-11-03 04:30:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 04:35:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 04:35:56 +0100 | Googulator48 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 04:36:04 +0100 | Googulator48 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 04:37:36 +0100 | td_ | (~td@i53870909.versanet.de) (Ping timeout: 256 seconds) |
| 2025-11-03 04:39:29 +0100 | td_ | (~td@i53870934.versanet.de) |
| 2025-11-03 04:40:40 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 04:40:40 +0100 | Googulator48 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-03 04:46:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 04:48:04 +0100 | fmlatghor | (~lcoogan@user/fmlatghor) fmlatghor |
| 2025-11-03 04:51:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 04:58:35 +0100 | arahael | (~wetfoot@user/arahael) (Quit: WeeChat 4.6.3) |
| 2025-11-03 04:59:26 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c0f3:e230:574:ab9a) (Read error: Connection reset by peer) |
| 2025-11-03 05:00:40 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) synchromesh |
| 2025-11-03 05:01:58 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Ping timeout: 256 seconds) |
| 2025-11-03 05:02:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 05:07:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 05:11:00 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-03 05:12:30 +0100 | arahael | (~wetfoot@user/arahael) arahael |
| 2025-11-03 05:14:33 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-03 05:15:37 +0100 | Googulator77 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 05:16:13 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 05:16:15 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 05:19:33 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-11-03 05:21:35 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 05:23:06 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-03 05:30:10 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-03 05:31:07 +0100 | bgt32 | (~keutoi@49.43.217.99) |
| 2025-11-03 05:33:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 05:40:23 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-03 05:40:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-03 05:45:39 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 05:45:39 +0100 | Googulator77 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 05:50:38 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 05:50:46 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 05:51:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 05:52:51 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 05:55:39 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Quit: Client closed) |
| 2025-11-03 05:58:03 +0100 | bgt32 | (~keutoi@49.43.217.99) (Ping timeout: 252 seconds) |
| 2025-11-03 06:00:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 06:04:09 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-03 06:16:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 06:23:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-03 06:33:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-03 06:36:29 +0100 | qqe | (~qqq@185.54.21.203) |
| 2025-11-03 06:37:52 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-03 06:39:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 06:47:04 +0100 | deptype_ | (~deptype@124.123.128.236) (Remote host closed the connection) |