| 2025-08-24 00:03:47 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-24 00:04:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2025-08-24 00:05:36 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-24 00:05:43 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-24 00:07:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-24 00:07:33 +0200 | ljdarj1 | ljdarj |
| 2025-08-24 00:08:46 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 255 seconds) |
| 2025-08-24 00:08:53 +0200 | tccq` | (~user@97-120-249-160.ptld.qwest.net) (Remote host closed the connection) |
| 2025-08-24 00:33:56 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-08-24 00:46:29 +0200 | trickard__ | trickard |
| 2025-08-24 00:46:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 00:47:53 +0200 | ii8 | (~ii8@45.63.97.131) (Quit: ii8) |
| 2025-08-24 00:48:26 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-24 00:49:03 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-24 00:50:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-08-24 00:51:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 01:02:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 01:06:40 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (Server closed connection) |
| 2025-08-24 01:06:51 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) S11001001 |
| 2025-08-24 01:07:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 01:12:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 01:13:38 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-08-24 01:17:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 01:27:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 01:32:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 01:40:06 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-08-24 01:41:25 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-08-24 01:42:25 +0200 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-08-24 01:43:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 01:47:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 01:58:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 02:05:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 02:11:22 +0200 | sprotte24 | (~sprotte24@p200300d16f131600f98621b03c1eacb6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-08-24 02:13:48 +0200 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-08-24 02:15:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 02:16:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 02:21:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 02:28:13 +0200 | spew | (e9e8135d87@user/spew) (Server closed connection) |
| 2025-08-24 02:28:23 +0200 | spew | (e9e8135d87@user/spew) spew |
| 2025-08-24 02:29:30 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-24 02:32:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 02:36:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 02:43:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-24 02:46:48 +0200 | acidjnk | (~acidjnk@p200300d6e717199218c92204bd27247f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-08-24 02:47:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 02:52:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 02:59:15 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (Server closed connection) |
| 2025-08-24 02:59:28 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) loonycyborg |
| 2025-08-24 02:59:59 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-24 03:00:41 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-24 03:02:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 03:06:01 +0200 | yin | (~zero@user/zero) (Ping timeout: 256 seconds) |
| 2025-08-24 03:07:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 03:07:10 +0200 | yin | (~zero@user/zero) zero |
| 2025-08-24 03:07:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-24 03:07:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 03:15:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-24 03:16:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 03:16:56 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) zarakshR |
| 2025-08-24 03:18:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 03:19:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-08-24 03:20:26 +0200 | ft | (~ft@p508db91f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-08-24 03:22:14 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
| 2025-08-24 03:22:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 03:32:33 +0200 | stureplan | (22e45d5caf@user/stureplan) (Server closed connection) |
| 2025-08-24 03:32:42 +0200 | stureplan | (22e45d5caf@user/stureplan) stureplan |
| 2025-08-24 03:33:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 03:36:42 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-24 03:36:44 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-24 03:38:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-24 03:38:52 +0200 | ljdarj1 | ljdarj |
| 2025-08-24 03:38:59 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Server closed connection) |
| 2025-08-24 03:39:08 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
| 2025-08-24 03:40:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 03:45:03 +0200 | jmcantrell_ | jmcantrell |
| 2025-08-24 03:51:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 03:56:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 03:57:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
| 2025-08-24 03:58:17 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Server closed connection) |
| 2025-08-24 03:58:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Client Quit) |
| 2025-08-24 03:58:26 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2025-08-24 03:59:15 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-24 04:05:03 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-08-24 04:05:37 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-08-24 04:06:48 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-08-24 04:07:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 04:11:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 04:22:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 04:22:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-08-24 04:27:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 04:37:16 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-08-24 04:37:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 04:41:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-24 04:41:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 04:42:20 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 258 seconds) |
| 2025-08-24 04:42:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-24 04:46:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-24 04:48:37 +0200 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (Server closed connection) |
| 2025-08-24 04:48:43 +0200 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
| 2025-08-24 04:53:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 04:57:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 04:59:05 +0200 | <haskellbridge> | <Axman6> I'm trying to do something that I thought would be simple using LinearTypes, but GHC tells me I'm wrong - any idea why the multiplicity of but here isn't One? https://gist.github.com/axman6/02af4d217b6755fc5637a02aad6bf85b (Sorry for anyone who also saw it on #haskell on Matrix) |
| 2025-08-24 05:08:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 05:09:12 +0200 | <Leary> | Axman6: Tried switching `case` for `let`? According to <https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/linear_types.html#limitations>, inference for `case` is still experimental. |
| 2025-08-24 05:15:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 05:19:26 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-24 05:26:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 05:31:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 05:33:06 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce2:be00:e05:cc8b:50c4:6af1) aforemny |
| 2025-08-24 05:34:16 +0200 | aforemny | (~aforemny@2001:9e8:6cc3:5000:84f2:1d2b:1f7:6b17) (Ping timeout: 248 seconds) |
| 2025-08-24 05:40:46 +0200 | <haskellbridge> | <Axman6> Ah, interesting! I will try |
| 2025-08-24 05:41:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 05:46:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 05:47:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-24 05:47:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 05:57:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 06:02:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 06:04:47 +0200 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-24 06:05:00 +0200 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-24 06:12:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-24 06:17:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 06:18:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |