Logs: liberachat/#haskell
| 2025-09-03 20:05:00 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-03 20:09:55 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-09-03 20:14:40 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-09-03 20:16:44 | <__monty__> | Don't we call them tuples? |
| 2025-09-03 20:17:00 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-09-03 20:19:54 | × | zarakshR quits (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2025-09-03 20:22:16 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 2025-09-03 20:23:26 | → | zarakshR joins (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) |
| 2025-09-03 20:23:27 | <[exa]> | Enrico63: my point was that PRs should ideally be minimal, all the side changes in formatting are a kinda distraction for the reviewers |
| 2025-09-03 20:23:31 | → | jespada joins (~jespada@2800:a4:2229:b100:9152:b992:488d:c1c3) |
| 2025-09-03 20:23:51 | <[exa]> | not a big issue (people can separate these mechanically i'd say) but it helps so much to have it prepared |
| 2025-09-03 20:24:13 | <Enrico63> | I've separated the commits, thanks! |
| 2025-09-03 20:24:19 | <Enrico63> | Is the reviewer you, btw? |
| 2025-09-03 20:24:51 | × | cherryramatisdev quits (~cherryram@user/cherryramatisdev) (Quit: WeeChat 4.7.1) |
| 2025-09-03 20:26:08 | × | jespada_ quits (~jespada@2800:a4:2229:b100:543a:9848:ff52:5c0e) (Ping timeout: 256 seconds) |
| 2025-09-03 20:27:50 | × | zarakshR quits (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-09-03 20:28:58 | → | fp1 joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-09-03 20:30:17 | → | zarakshR joins (~Thunderbi@2a00:23c8:5bbb:e401::353) |
| 2025-09-03 20:32:27 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-09-03 20:32:27 | fp1 | is now known as fp |
| 2025-09-03 20:34:41 | × | zarakshR quits (~Thunderbi@2a00:23c8:5bbb:e401::353) (Ping timeout: 265 seconds) |
| 2025-09-03 20:36:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-03 20:36:31 | <[exa]> | Enrico63: no |
| 2025-09-03 20:36:49 | <[exa]> | (I'd complain directly in the PR lol) |
| 2025-09-03 20:38:10 | <EvanR> | monochrom, also add MinusOne and MinusTwo |
| 2025-09-03 20:38:12 | <EvanR> | but that's it |
| 2025-09-03 20:41:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-03 20:42:14 | → | Square3 joins (~Square4@user/square) |
| 2025-09-03 20:43:34 | × | jespada quits (~jespada@2800:a4:2229:b100:9152:b992:488d:c1c3) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-09-03 20:44:50 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-03 20:45:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-03 20:45:48 | × | Square2 quits (~Square@user/square) (Ping timeout: 265 seconds) |
| 2025-09-03 20:48:18 | × | rustisafungus quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-09-03 20:56:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-03 20:58:55 | → | zarakshR joins (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) |
| 2025-09-03 21:01:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-03 21:08:11 | × | zarakshR quits (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Quit: zarakshR) |
| 2025-09-03 21:08:29 | → | zarakshR joins (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) |
| 2025-09-03 21:12:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-03 21:12:24 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-03 21:12:29 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-09-03 21:12:39 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 2025-09-03 21:13:04 | × | zarakshR quits (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Remote host closed the connection) |
| 2025-09-03 21:13:21 | → | zarakshR joins (~Thunderbi@2a00:23c8:5bbb:e401::353) |
| 2025-09-03 21:14:42 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-09-03 21:16:59 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Client Quit) |
| 2025-09-03 21:17:58 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-03 21:18:40 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 265 seconds) |
| 2025-09-03 21:18:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-03 21:20:28 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-03 21:20:58 | × | zarakshR quits (~Thunderbi@2a00:23c8:5bbb:e401::353) (Ping timeout: 260 seconds) |
| 2025-09-03 21:25:25 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-03 21:25:38 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-09-03 21:26:03 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-03 21:30:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-03 21:32:11 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-03 21:33:03 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 2025-09-03 21:34:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-03 21:35:30 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-09-03 21:35:45 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-09-03 21:36:15 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-09-03 21:36:33 | → | zarakshR joins (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) |
| 2025-09-03 21:37:42 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-09-03 21:42:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-03 21:43:50 | trickard_ | is now known as trickard |
| 2025-09-03 21:46:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-03 21:47:07 | × | zarakshR quits (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2025-09-03 21:57:38 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 258 seconds) |
| 2025-09-03 21:57:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-03 21:57:54 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-09-03 22:00:12 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-03 22:02:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-03 22:02:57 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-03 22:04:05 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-03 22:04:41 | → | gawen_ joins (~gawen@user/gawen) |
| 2025-09-03 22:05:33 | × | gawen quits (~gawen@user/gawen) (Ping timeout: 265 seconds) |
| 2025-09-03 22:05:45 | → | jmcantre1 joins (~weechat@user/jmcantrell) |
| 2025-09-03 22:10:12 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 2025-09-03 22:10:48 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (*.net *.split) |
| 2025-09-03 22:10:48 | × | rvalue quits (~rvalue@about/hackers/rvalue) (*.net *.split) |
| 2025-09-03 22:10:48 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (*.net *.split) |
| 2025-09-03 22:10:48 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (*.net *.split) |
| 2025-09-03 22:10:48 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (*.net *.split) |
| 2025-09-03 22:12:58 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-09-03 22:13:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-03 22:13:27 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2025-09-03 22:14:10 | → | edwtjo joins (~edwtjo@h-155-4-52-101.A213.priv.bahnhof.se) |
| 2025-09-03 22:14:10 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-09-03 22:14:10 | × | edwtjo quits (~edwtjo@h-155-4-52-101.A213.priv.bahnhof.se) (Changing host) |
| 2025-09-03 22:14:10 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 2025-09-03 22:14:41 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-09-03 22:16:41 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-03 22:17:24 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
| 2025-09-03 22:17:24 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
| 2025-09-03 22:17:24 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-03 22:17:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-03 22:18:49 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-09-03 22:26:51 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-03 22:27:32 | → | poscat joins (~poscat@user/poscat) |
| 2025-09-03 22:28:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.