Logs: liberachat/#haskell
| 2025-08-23 22:47:53 | × | ii8 quits (~ii8@45.63.97.131) (Quit: ii8) |
| 2025-08-23 22:48:26 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-23 22:49:03 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-23 22:50:26 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-08-23 22:51:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-23 23:02:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-23 23:06:40 | × | S11001001 quits (sid42510@id-42510.ilkley.irccloud.com) (Server closed connection) |
| 2025-08-23 23:06:51 | → | S11001001 joins (sid42510@id-42510.ilkley.irccloud.com) |
| 2025-08-23 23:07:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-23 23:12:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-23 23:13:38 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-08-23 23:17:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-23 23:27:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-23 23:32:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-23 23:40:06 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-08-23 23:41:25 | × | hiredman quits (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-08-23 23:42:25 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 2025-08-23 23:43:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-23 23:47:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-23 23:58:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 00:05:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 00:11:22 | × | sprotte24 quits (~sprotte24@p200300d16f131600f98621b03c1eacb6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-08-24 00:13:48 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-08-24 00:15:16 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 00:16:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 00:21:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 00:28:13 | × | spew quits (e9e8135d87@user/spew) (Server closed connection) |
| 2025-08-24 00:28:23 | → | spew joins (e9e8135d87@user/spew) |
| 2025-08-24 00:29:30 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-24 00:32:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 00:36:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 00:43:50 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2025-08-24 00:46:48 | × | acidjnk quits (~acidjnk@p200300d6e717199218c92204bd27247f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-08-24 00:47:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 00:52:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 00:59:15 | × | loonycyborg quits (loonycybor@wesnoth/developer/loonycyborg) (Server closed connection) |
| 2025-08-24 00:59:28 | → | loonycyborg joins (loonycybor@wesnoth/developer/loonycyborg) |
| 2025-08-24 00:59:59 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-24 01:00:41 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-08-24 01:02:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 01:06:01 | × | yin quits (~zero@user/zero) (Ping timeout: 256 seconds) |
| 2025-08-24 01:07:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 01:07:10 | → | yin joins (~zero@user/zero) |
| 2025-08-24 01:07:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-24 01:07:48 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 01:15:50 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-24 01:16:12 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 01:16:56 | → | zarakshR joins (~Thunderbi@0542a05a.skybroadband.com) |
| 2025-08-24 01:18:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 01:19:32 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-08-24 01:20:26 | × | ft quits (~ft@p508db91f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-08-24 01:22:14 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 2025-08-24 01:22:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 01:32:33 | × | stureplan quits (22e45d5caf@user/stureplan) (Server closed connection) |
| 2025-08-24 01:32:42 | → | stureplan joins (22e45d5caf@user/stureplan) |
| 2025-08-24 01:33:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 01:36:42 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-24 01:36:44 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-08-24 01:38:52 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-24 01:38:52 | ljdarj1 | is now known as ljdarj |
| 2025-08-24 01:38:59 | × | b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Server closed connection) |
| 2025-08-24 01:39:08 | → | b0o joins (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2025-08-24 01:40:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 01:45:03 | jmcantrell_ | is now known as jmcantrell |
| 2025-08-24 01:51:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 01:56:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 01:57:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
| 2025-08-24 01:58:17 | × | Ankhers quits (e99e97ef8e@2a03:6000:1812:100::2a2) (Server closed connection) |
| 2025-08-24 01:58:20 | × | tromp quits (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Client Quit) |
| 2025-08-24 01:58:26 | → | Ankhers joins (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 2025-08-24 01:59:15 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-08-24 02:05:03 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-08-24 02:05:37 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 2025-08-24 02:06:48 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-08-24 02:07:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 02:11:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 02:22:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 02:22:34 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-08-24 02:27:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 02:37:16 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-08-24 02:37:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 02:41:37 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-24 02:41:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 02:42:20 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 258 seconds) |
| 2025-08-24 02:42:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-24 02:46:06 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-24 02:48:37 | × | fgaz quits (1ff9197ed6@2a03:6000:1812:100::11ea) (Server closed connection) |
| 2025-08-24 02:48:43 | → | fgaz joins (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 2025-08-24 02:53:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 02:57:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 02:59:05 | <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 03:08:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 03:09:12 | <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 03:15:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 03:19:26 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-24 03:26:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 03:31:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 03:33:06 | → | aforemny_ joins (~aforemny@2001:9e8:6ce2:be00:e05:cc8b:50c4:6af1) |
| 2025-08-24 03:34:16 | × | aforemny quits (~aforemny@2001:9e8:6cc3:5000:84f2:1d2b:1f7:6b17) (Ping timeout: 248 seconds) |
| 2025-08-24 03:40:46 | <haskellbridge> | <Axman6> Ah, interesting! I will try |
All times are in UTC.