| 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 |
| 2025-10-21 02:41:25 +0200 | otto_s | (~user@p5b044609.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-10-21 02:43:01 +0200 | otto_s | (~user@p5b0442c1.dip0.t-ipconnect.de) |
| 2025-10-21 02:52:16 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-21 02:58:40 +0200 | halloy9957 | (~halloy995@ip72-208-127-103.ph.ph.cox.net) (Read error: Connection reset by peer) |
| 2025-10-21 03:00:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-21 03:07:02 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6316:ba02:9166:40eb) (Ping timeout: 260 seconds) |
| 2025-10-21 03:07:49 +0200 | SlackCoder | (~SlackCode@208.26.91.234) (Ping timeout: 264 seconds) |
| 2025-10-21 03:08:42 +0200 | cheater | (~fuck@84-115-208-145.cable.dynamic.surfer.at) (Remote host closed the connection) |
| 2025-10-21 03:09:06 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-10-21 03:12:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-21 03:15:04 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-10-21 03:19:57 +0200 | acidjnk | (~acidjnk@p200300d6e7171945c42b348415052731.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-10-21 03:24:07 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-21 03:24:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-21 03:33:11 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-21 03:38:13 +0200 | jzargo | (~jzargo@user/jzargo) (Quit: Leaving) |
| 2025-10-21 03:38:37 +0200 | jzargo | (~jzargo@user/jzargo) jzargo |
| 2025-10-21 03:40:16 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-10-21 03:43:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-21 03:50:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-21 03:54:16 +0200 | halloy9957 | (~halloy995@ip72-208-127-103.ph.ph.cox.net) |
| 2025-10-21 03:54:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-21 03:59:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-21 04:00:43 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 04:00:46 +0200 | Googulator68 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 04:02:17 +0200 | werneta | (~werneta@71.83.160.242) werneta |
| 2025-10-21 04:06:14 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-21 04:06:58 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-10-21 04:08:11 +0200 | trickard___ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-10-21 04:08:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-21 04:09:01 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-21 04:13:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-21 04:14:10 +0200 | trickard___ | trickard |
| 2025-10-21 04:24:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-21 04:25:13 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2025-10-21 04:28:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-21 04:31:15 +0200 | td_ | (~td@2001:9e8:19d3:4b00:581b:6633:814:8863) (Ping timeout: 244 seconds) |
| 2025-10-21 04:33:06 +0200 | td_ | (~td@i5387091D.versanet.de) td_ |
| 2025-10-21 04:37:01 +0200 | SlackCoder | (~SlackCode@208.26.91.234) SlackCoder |
| 2025-10-21 04:40:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-21 04:40:39 +0200 | Googulator68 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 04:40:41 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-10-21 04:40:48 +0200 | Googulator68 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 04:44:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-21 04:52:40 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-21 04:53:25 +0200 | SlackCoder | (~SlackCode@208.26.91.234) (Ping timeout: 264 seconds) |
| 2025-10-21 04:55:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-21 05:03:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-21 05:10:02 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-10-21 05:11:33 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:75ff:6dec:5332:48f7) (Read error: Connection reset by peer) |
| 2025-10-21 05:12:22 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:5031:98de:1fb1:99bf) synchromesh |
| 2025-10-21 05:14:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-21 05:19:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-21 05:29:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-21 05:34:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-21 05:45:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-21 05:50:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-21 05:53:24 +0200 | aforemny | (~aforemny@2001:9e8:6cc7:6800:bfb8:1818:7f09:9156) (Ping timeout: 244 seconds) |
| 2025-10-21 05:54:39 +0200 | aforemny | (~aforemny@2001:9e8:6ce6:9500:a1cc:7b84:9c73:3993) aforemny |
| 2025-10-21 05:57:11 +0200 | constxd | (~constxd@user/constxd) (Quit: kiwi irc - hadmade client) |
| 2025-10-21 05:58:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-21 06:00:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-21 06:05:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-21 06:07:52 +0200 | annamalai | (~annamalai@2409:4072:601a:bdd2::2602:e0ac) (Ping timeout: 260 seconds) |
| 2025-10-21 06:09:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-21 06:10:50 +0200 | Googulator68 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 06:11:00 +0200 | Googulator68 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 06:12:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-21 06:14:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-21 06:15:40 +0200 | Googulator83 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 06:15:40 +0200 | Googulator68 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Client Quit) |
| 2025-10-21 06:18:06 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-21 06:22:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-21 06:26:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-21 06:27:44 +0200 | trickard | (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-21 06:27:57 +0200 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-10-21 06:28:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |