2025-10-21 00:03:35 +0200 | tromp | (~textual@2001:1c00:3487:1b00:242b:79a0:e1f9:7ea5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-21 00:08:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-21 00:10:48 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-21 00:11:05 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-21 00:13:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-21 00:14:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
2025-10-21 00:23:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-21 00:26:25 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-10-21 00:30:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-21 00:38:45 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 252 seconds) |
2025-10-21 00:42:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-21 00:44:55 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-10-21 00:46:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-21 00:57:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-21 01:02:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-21 01:06:21 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-10-21 01:08:07 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 240 seconds) |
2025-10-21 01:09:13 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-10-21 01:13:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-21 01:15:38 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-21 01:15:42 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-21 01:18:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-21 01:28:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-21 01:30:37 +0200 | <Leary> | doc: `data Foo a = ... deriving Num via Ap Foo a` |
2025-10-21 01:34:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-21 01:37:17 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
2025-10-21 01:39:17 +0200 | <Leary> | @tell mastarija You might want to use 'generics-sop' instead of plain `GHC.Generics`; it more-or-less already does what you want to do. |
2025-10-21 01:39:17 +0200 | <lambdabot> | Consider it noted. |
2025-10-21 01:44:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-21 01:45:45 +0200 | <monochrom> | EvanR: I haven't thought of that. Thanks. |
2025-10-21 01:46:00 +0200 | straybits | (~straybits@user/straybits) straybits |
2025-10-21 01:46:52 +0200 | <monochrom> | But we get to say things like "we were only allowed 3, and it was uphill both ways" :) |
2025-10-21 01:49:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-21 02:00:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-21 02:00:45 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-21 02:01:12 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-21 02:07:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-21 02:10:37 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-21 02:10:38 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-21 02:14:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-10-21 02:14:29 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
2025-10-21 02:15:38 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-21 02:15:46 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-21 02:23:14 +0200 | halloy9957 | (~halloy995@ip72-208-127-103.ph.ph.cox.net) |
2025-10-21 02:24:27 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 260 seconds) |
2025-10-21 02:24:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
2025-10-21 02:24:58 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-21 02:25:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-21 02:25:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-10-21 02:30:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-21 02:32:27 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-10-21 02:33:35 +0200 | califax | (~califax@user/califx) califx |