Logs on 2025-07-16 (liberachat/#haskell)
| 00:00:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:04:34 | × | jespada quits (~jespada@r179-25-43-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 00:06:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 00:07:18 | → | caubert joins (~caubert@user/caubert) |
| 00:09:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:14:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:14:51 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 00:15:45 | × | acidjnk quits (~acidjnk@p200300d6e70b6602dc09300ac5aeb77e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:20:56 | → | falafel joins (~falafel@79.117.174.28) |
| 00:22:01 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 00:22:04 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 00:24:27 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 00:25:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:25:57 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 00:26:38 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 00:29:48 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 00:30:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:31:23 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 00:34:41 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 265 seconds) |
| 00:38:28 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: "Bonsoir") |
| 00:40:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:43:38 | × | falafel quits (~falafel@79.117.174.28) (Remote host closed the connection) |
| 00:44:04 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 00:46:56 | × | xff0x quits (~xff0x@2405:6580:b080:900:6880:5402:2c94:d08f) (Ping timeout: 268 seconds) |
| 00:47:33 | → | caubert joins (~caubert@user/caubert) |
| 00:47:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 00:54:08 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 00:57:41 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:57:55 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 00:58:25 | × | lfr quits (~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 248 seconds) |
| 00:58:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:03:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:04:05 | → | caubert joins (~caubert@user/caubert) |
| 01:09:24 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 01:10:32 | → | lfr joins (~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) |
| 01:10:45 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 01:12:43 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 01:13:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:15:33 | × | lfr quits (~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 248 seconds) |
| 01:15:54 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 01:16:15 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 01:19:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:22:29 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 01:24:37 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 01:26:33 | → | lfr joins (~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) |
| 01:28:55 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 01:29:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:32:08 | × | lfr quits (~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 272 seconds) |
| 01:33:21 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 01:33:32 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 01:34:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 01:37:30 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 01:42:28 | → | lfr joins (~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) |
| 01:44:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:49:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:51:03 | → | notzmv joins (~umar@user/notzmv) |
| 01:51:41 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 268 seconds) |
| 01:53:29 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 01:57:05 | × | lfr quits (~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 248 seconds) |
| 01:59:58 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 245 seconds) |
| 02:00:00 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 276 seconds) |
| 02:00:09 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 02:04:33 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 02:05:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:08:25 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:08:44 | → | Axma55379 joins (~Axman6@user/axman6) |
| 02:10:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:10:49 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 02:20:36 | → | potatoespotatoes joins (~quassel@130.44.147.204) |
| 02:20:36 | × | potatoespotatoes quits (~quassel@130.44.147.204) (Changing host) |
| 02:20:36 | → | potatoespotatoes joins (~quassel@user/potatoespotatoes) |
| 02:21:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:22:41 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 02:26:17 | × | tinjamin4 quits (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 02:28:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 02:28:51 | → | tinjamin4 joins (~tinjamin@banshee.h4x0r.space) |
| 02:31:23 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 02:32:43 | → | caubert joins (~caubert@user/caubert) |
| 02:36:15 | × | td_ quits (~td@i5387093F.versanet.de) (Ping timeout: 252 seconds) |
| 02:36:44 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:37:35 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 02:38:17 | → | td_ joins (~td@i53870934.versanet.de) |
| 02:39:06 | × | phma quits (phma@2001:5b0:210b:8188:9a43:d163:c332:6ed3) (Read error: Connection reset by peer) |
| 02:39:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:43:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:54:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:59:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:05:08 | → | phma joins (~phma@host-67-44-208-39.hnremote.net) |
| 03:08:26 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 03:10:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:14:31 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 03:14:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:15:40 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:16:57 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 03:19:00 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 03:19:27 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 03:21:21 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 03:22:44 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 260 seconds) |
| 03:25:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:28:10 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 03:29:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:30:56 | × | auri quits (~auri@fsf/member/auri) (Server closed connection) |
| 03:31:06 | → | auri joins (~auri@fsf/member/auri) |
| 03:34:34 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 03:36:26 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 03:39:40 | → | FANTOM_ joins (~fantom@33be818f.skybroadband.com) |
| 03:39:56 | × | monochrom quits (~trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in) |
| 03:40:00 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 03:41:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:41:10 | × | FANTOM quits (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 03:43:45 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 03:44:27 | → | aforemny_ joins (~aforemny@2001:9e8:6cea:7700:a76c:242b:21df:a2c1) |
| 03:44:45 | → | dutchie joins (~dutchie@user/dutchie) |
| 03:45:00 | × | aforemny quits (~aforemny@2001:9e8:6ccb:7200:bbb6:f190:e352:f00a) (Ping timeout: 244 seconds) |
| 03:45:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:49:07 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds) |
| 03:51:34 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 03:53:25 | → | monochrom joins (trebla@216.138.220.146) |
| 03:56:21 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 03:56:37 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 04:06:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:07:48 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 04:09:18 | → | caubert joins (~caubert@user/caubert) |
| 04:10:31 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 04:11:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:11:44 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 04:12:10 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 04:12:33 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 04:15:34 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 265 seconds) |
| 04:17:23 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 04:18:14 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 04:21:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:24:18 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 04:26:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 04:27:03 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 04:27:13 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 04:27:17 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 04:28:12 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 04:28:33 | Lord_of_Life_ | is now known as Lord_of_Life |
| 04:29:45 | → | caubert joins (~caubert@user/caubert) |
| 04:34:43 | → | michalz joins (~michalz@185.246.207.197) |
| 04:36:24 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 04:37:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:41:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:44:08 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 04:48:47 | → | caubert joins (~caubert@user/caubert) |
| 04:52:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:56:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:07:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:09:52 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 05:12:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:15:19 | × | perr_ quits (~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 260 seconds) |
| 05:20:18 | trickard_ | is now known as trickard |
| 05:22:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:29:09 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 05:29:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:30:39 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 260 seconds) |
| 05:35:23 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 05:36:38 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 05:41:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:41:43 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 05:42:07 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 05:44:15 | × | PoolloverNathan quits (~nathan@user/PoolloverNathan) (Ping timeout: 276 seconds) |
| 05:45:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:46:26 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 05:53:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:57:56 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 05:58:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:01:19 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 06:03:12 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 272 seconds) |
| 06:04:12 | × | mfc_kbs quits (~keibisoft@mail.keibisoft.com) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 06:04:31 | → | mfc_kbs joins (~keibisoft@2a06:1fc0:0:1::1cd) |
| 06:07:29 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 06:08:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:11:29 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 06:12:26 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:13:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 06:14:29 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 06:18:24 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection) |
| 06:18:30 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:18:30 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 06:18:43 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 06:19:31 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:23:49 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds) |
| 06:24:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:27:32 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 06:28:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:32:26 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 06:33:00 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 06:34:50 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 06:38:16 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 06:39:19 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 06:39:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:39:46 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 06:42:31 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 06:44:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:47:44 | × | igemnace quits (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 06:50:13 | → | igemnace joins (~igemnace@user/igemnace) |
| 06:50:58 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 06:54:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:55:49 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 260 seconds) |
| 06:56:31 | → | tromp joins (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) |
| 07:00:00 | × | caconym74 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:10 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 07:00:41 | → | caconym74 joins (~caconym@user/caconym) |
| 07:00:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:04:09 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:05:51 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 07:05:51 | × | igemnace quits (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 07:06:12 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 07:07:08 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 07:07:33 | → | igemnace joins (~igemnace@user/igemnace) |
| 07:11:37 | → | caubert joins (~caubert@user/caubert) |
| 07:12:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:17:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:21:29 | → | perro joins (~aaron@164.sub-174-197-65.myvzw.com) |
| 07:21:59 | trickard_ | is now known as trickard |
| 07:26:40 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 07:28:44 | × | JamesMowery177 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Ping timeout (120 seconds)) |
| 07:29:15 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 07:29:16 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 07:30:52 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 07:31:14 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 07:31:25 | → | ludat joins (~ludat@2800:810:443:12c8:adbf:f34f:326a:c9d4) |
| 07:32:06 | → | JamesMowery177 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 07:35:24 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:35:39 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 07:36:39 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 07:42:01 | → | caubert joins (~caubert@user/caubert) |
| 07:44:28 | → | sprotte24 joins (~sprotte24@p200300d16f055c002408fd05648795dd.dip0.t-ipconnect.de) |
| 07:45:27 | <ludat> | hi everyone, I was trying to optimize my ci caching stuff and I just noticed that the contents of .stack have a bunch of absolute paths, is that right? (so they can't be moved and have stack point at it) |
| 07:46:49 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 07:48:03 | × | ft quits (~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:49:20 | → | caubert joins (~caubert@user/caubert) |
| 07:49:50 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 07:50:27 | → | Square joins (~Square@user/square) |
| 07:51:14 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 260 seconds) |
| 07:55:32 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 07:56:17 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 07:56:56 | rvalue- | is now known as rvalue |
| 07:58:08 | → | puke joins (~puke@user/puke) |
| 07:59:51 | × | perro quits (~aaron@164.sub-174-197-65.myvzw.com) (Read error: Connection reset by peer) |
| 08:03:48 | → | perro joins (~aaron@2600:100c:b211:ed4b:3db6:9b92:a883:df07) |
| 08:05:00 | → | __monty__ joins (~toonn@user/toonn) |
| 08:10:32 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 08:11:35 | → | merijn joins (~merijn@77.242.116.146) |
| 08:13:48 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 08:14:45 | → | pabs3 joins (~pabs3@user/pabs3) |
| 08:22:38 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 08:28:25 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 08:29:21 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 08:35:08 | × | tromp quits (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:36:49 | → | acidjnk joins (~acidjnk@p200300d6e70b66275c4a48d94f205259.dip0.t-ipconnect.de) |
| 08:37:34 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 08:39:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) |
| 08:43:11 | → | perr_ joins (~aaron@2600:100c:b211:ed4b:d044:44a4:8621:c686) |
| 08:43:12 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 08:44:01 | × | perro quits (~aaron@2600:100c:b211:ed4b:3db6:9b92:a883:df07) (Ping timeout: 248 seconds) |
| 08:50:57 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 08:55:36 | → | merijn joins (~merijn@77.242.116.146) |
| 08:57:19 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 08:59:37 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:59:51 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 09:01:13 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 245 seconds) |
| 09:03:17 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 09:07:42 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection) |
| 09:07:50 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 09:08:14 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 09:08:57 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 09:11:32 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection) |
| 09:11:40 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 09:15:25 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection) |
| 09:15:33 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 09:18:26 | → | merijn joins (~merijn@77.242.116.146) |
| 09:19:15 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection) |
| 09:19:22 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 09:33:19 | trickard_ | is now known as trickard |
| 09:43:08 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 09:45:24 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 09:45:29 | → | comerijn joins (~merijn@77.242.116.146) |
| 09:48:12 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 09:51:58 | × | kqr quits (~kqr@static.143.81.108.65.clients.your-server.de) (Changing host) |
| 09:51:58 | → | kqr joins (~kqr@user/kqr) |
| 09:55:04 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 09:58:17 | → | poscat joins (~poscat@user/poscat) |
| 09:58:42 | → | caubert joins (~caubert@user/caubert) |
| 10:03:32 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 10:04:54 | × | Rembane quits (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
| 10:05:35 | → | Rembane joins (~Rembane@user/Rembane) |
| 10:05:38 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 10:20:30 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 10:22:25 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 10:23:27 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 10:25:25 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 10:31:16 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 10:33:19 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 10:35:00 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 10:35:26 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:37:18 | → | poscat joins (~poscat@user/poscat) |
| 10:37:34 | → | merijn joins (~merijn@77.242.116.146) |
| 10:42:24 | → | fp joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) |
| 10:58:32 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 10:59:02 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 11:01:53 | → | jespada joins (~jespada@r167-61-130-183.dialup.adsl.anteldata.net.uy) |
| 11:02:15 | → | xff0x joins (~xff0x@2405:6580:b080:900:31f8:e5f1:cf3:b71f) |
| 11:03:16 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 11:04:45 | × | tromp quits (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:04:57 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 11:05:18 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 11:06:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:08:13 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit) |
| 11:11:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) |
| 11:13:18 | × | perr_ quits (~aaron@2600:100c:b211:ed4b:d044:44a4:8621:c686) (Ping timeout: 245 seconds) |
| 11:13:33 | → | perro joins (~aaron@syn-072-178-186-089.res.spectrum.com) |
| 11:16:07 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 11:23:05 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection) |
| 11:23:12 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 11:26:54 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection) |
| 11:27:01 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 11:27:30 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 11:29:17 | × | mjacob quits (~mjacob@adrastea.uberspace.de) (Remote host closed the connection) |
| 11:43:10 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 11:46:48 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:51:35 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 11:52:09 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds) |
| 11:52:27 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 11:52:37 | → | Everything joins (~Everythin@5.248.237.239) |
| 12:04:20 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 12:06:17 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:06:30 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 12:21:58 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:23:23 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 12:24:12 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 12:26:17 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit) |
| 12:26:30 | × | ludat quits (~ludat@2800:810:443:12c8:adbf:f34f:326a:c9d4) (Quit: Client closed) |
| 12:28:52 | × | AlexZenon quits (~alzenon@178.34.150.30) (Quit: ;-) |
| 12:31:12 | × | AlexNoo quits (~AlexNoo@178.34.150.30) (Quit: Leaving) |
| 12:34:01 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 12:44:25 | × | nshepperd2 quits (~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: The Lounge - https://thelounge.chat) |
| 12:46:17 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 12:48:41 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:48:54 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 12:51:31 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 12:52:31 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 13:02:53 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 13:05:29 | → | nshepperd2 joins (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 13:05:32 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 13:06:35 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 13:07:38 | <absence> | Is there a way to supply the cases in this contrived example, or is it just a syntax edge case that lets it compile at all? https://play.haskell.org/saved/FgfNLLWB |
| 13:09:03 | <mauke> | https://play.haskell.org/saved/bdSjmYP3 |
| 13:09:14 | × | tromp quits (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:10:34 | trickard_ | is now known as trickard |
| 13:12:36 | → | ystael joins (~ystael@user/ystael) |
| 13:14:07 | → | tromp joins (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) |
| 13:17:06 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 13:23:34 | <absence> | mauke: Oh wow, that looks a bit controversial. Thanks though! |
| 13:25:26 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 13:37:00 | × | noctux quits (~noctux@user/noctux) (Remote host closed the connection) |
| 13:37:33 | <probie> | if you want the `null` on the same line as `\case`, you could even do `(. null) $ \case` |
| 13:39:23 | → | noctux joins (~noctux@user/noctux) |
| 13:40:14 | × | mauke quits (~mauke@user/mauke) (Remote host closed the connection) |
| 13:40:14 | × | preflex quits (~preflex@user/mauke/bot/preflex) (Remote host closed the connection) |
| 13:41:59 | → | preflex joins (~preflex@user/mauke/bot/preflex) |
| 13:46:15 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 13:46:25 | × | tromp quits (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:46:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 13:52:37 | → | tromp joins (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) |
| 13:53:28 | → | mauke joins (~mauke@user/mauke) |
| 13:57:53 | → | notzmv joins (~umar@user/notzmv) |
| 13:58:58 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:13:06 | → | AlexZenon joins (~alzenon@178.34.150.30) |
| 14:13:41 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:15:09 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 14:17:05 | → | ubert joins (~Thunderbi@178.115.53.153.wireless.dyn.drei.com) |
| 14:17:37 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 14:27:00 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 14:27:21 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 14:29:30 | <EvanR> | null & \case ... |
| 14:29:50 | <EvanR> | err |
| 14:29:54 | <Leary> | `null >>> \case`? |
| 14:39:24 | × | fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 260 seconds) |
| 14:41:30 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 14:55:00 | <__monty__> | Is there a way to match with a Text literal, similar to how Strings allow this, `case myString of {"abc" -> ": )"; _ -> ": ("}`? |
| 14:55:57 | <__monty__> | Does OverloadedStrings enable this behavior? |
| 14:57:36 | <Leary> | Yes. |
| 14:58:27 | <ski> | it would be nice if you could use `ViewPatterns' here, without having to pay cost for invoking `null' two times |
| 14:59:02 | <Leary> | ski: Won't they be commoned? |
| 14:59:16 | <ski> | maybe with enough optimization |
| 14:59:41 | <ski> | i tried a simple `-ddump-simpl', didn't seem to happen there |
| 15:00:08 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 15:00:17 | <ski> | and i know GHC often doesn't want to do CSE, in order to avoid introducing space leaks |
| 15:01:02 | <ski> | in Agda, you have `with' patterns, which imply a single call |
| 15:01:21 | <ski> | test xs with null xs |
| 15:01:40 | <ski> | test xs | False = "empty" |
| 15:01:50 | <ski> | test xs | True = "not empty" |
| 15:02:34 | <ski> | but |
| 15:02:45 | <ski> | test (null -> False) = "empty" |
| 15:02:51 | <ski> | test (null -> True ) = "not empty" |
| 15:02:56 | <ski> | would look pretty neat |
| 15:04:26 | <ski> | > let ((. null) -> test) = \case False -> "empty"; True -> "not empty" in map test ["","a","bc"] -- this is another option, absence. looks kinda weird, though |
| 15:04:28 | <lambdabot> | ["not empty","empty","empty"] |
| 15:05:53 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 15:07:52 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 15:11:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:13:48 | × | Everything quits (~Everythin@5.248.237.239) (Ping timeout: 252 seconds) |
| 15:14:26 | → | prdak joins (~Thunderbi@user/prdak) |
| 15:15:42 | → | Everything joins (~Everythin@46.211.88.66) |
| 15:16:46 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 15:17:46 | → | caubert joins (~caubert@user/caubert) |
| 15:18:24 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 15:18:55 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 15:19:53 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:20:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 15:24:49 | ski | . o O ( `test (null -> case s of {"empty" -> False ; "not empty" -> True })) = s' ) |
| 15:26:39 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:26:52 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 15:33:09 | → | merijn joins (~merijn@77.242.116.146) |
| 15:34:27 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 15:35:37 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 15:37:45 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 15:42:18 | × | tromp quits (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:43:45 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 15:44:04 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 15:44:46 | → | athan joins (~athan@syn-047-132-161-157.res.spectrum.com) |
| 15:53:27 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 15:58:29 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 15:59:03 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 16:02:14 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 16:03:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) |
| 16:03:46 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 16:04:06 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 16:04:23 | × | acidjnk quits (~acidjnk@p200300d6e70b66275c4a48d94f205259.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 16:06:28 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:12:38 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 16:13:43 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 245 seconds) |
| 16:17:11 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 16:19:06 | → | fp joins (~Thunderbi@89-209-68-31.mobile.vf-ua.net) |
| 16:19:31 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:22:28 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 16:29:54 | → | euphores joins (~SASL_euph@user/euphores) |
| 16:32:45 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 16:32:50 | × | Everything quits (~Everythin@46.211.88.66) (Quit: leaving) |
| 16:34:42 | → | caubert joins (~caubert@user/caubert) |
| 16:35:32 | → | ft joins (~ft@p3e9bc89f.dip0.t-ipconnect.de) |
| 16:35:56 | × | Flow quits (~none@gentoo/developer/flow) (Server closed connection) |
| 16:36:14 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 16:36:36 | → | Flow joins (~none@gentoo/developer/flow) |
| 16:39:41 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 268 seconds) |
| 16:47:09 | × | hiredman quits (~hiredman@frontier1.downey.family) (Ping timeout: 260 seconds) |
| 16:52:24 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 16:52:49 | → | caubert joins (~caubert@user/caubert) |
| 16:58:05 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 17:00:57 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 17:03:13 | × | hiredman quits (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 17:06:50 | → | Everything joins (~Everythin@46.211.88.66) |
| 17:07:26 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:07:40 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 17:10:47 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:12:10 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 17:12:31 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 17:14:26 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 17:18:37 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 17:23:21 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:24:32 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 17:24:38 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 17:27:36 | × | jespada quits (~jespada@r167-61-130-183.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 17:29:12 | × | hiredman quits (~hiredman@frontier1.downey.family) (Ping timeout: 252 seconds) |
| 17:29:53 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 17:33:37 | × | fp quits (~Thunderbi@89-209-68-31.mobile.vf-ua.net) (Ping timeout: 248 seconds) |
| 17:34:49 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:36:21 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 17:43:14 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 17:46:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:46:55 | → | Square joins (~Square@user/square) |
| 17:47:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:51:34 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 17:52:03 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:54:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 17:54:30 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 17:57:05 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:57:19 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 17:59:55 | trickard_ | is now known as trickard |
| 18:04:32 | → | tromp joins (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) |
| 18:12:19 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 18:14:11 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 18:14:56 | → | weary-traveler joins (~user@user/user363627) |
| 18:19:00 | → | Jerryeee joins (~Thunderbi@user/Jerryeee) |
| 18:19:00 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit) |
| 18:20:24 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 18:23:21 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:26:44 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 18:29:59 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 18:30:34 | × | Everything quits (~Everythin@46.211.88.66) (Quit: leaving) |
| 18:40:32 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:40:56 | × | noctuks quits (d32f0pjuYL@user/noctux) (Server closed connection) |
| 18:41:03 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 18:41:13 | → | noctuks joins (~noctux@user/noctux) |
| 18:42:08 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:44:41 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 18:45:25 | × | tromp quits (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:47:45 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 18:52:17 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 18:53:26 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:59:02 | → | acidjnk joins (~acidjnk@p200300d6e70b661810c0baac8c5eeb00.dip0.t-ipconnect.de) |
| 19:00:01 | × | caconym74 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:41 | → | caconym74 joins (~caconym@user/caconym) |
| 19:04:28 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:05:34 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:06:08 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 19:08:47 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
| 19:12:12 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 19:13:49 | × | yin quits (~zero@user/zero) (Killed (NickServ (GHOST command used by yin_!~yin@a89-153-191-69.cpe.netcabo.pt))) |
| 19:15:45 | → | yin_ joins (~zero@user/zero) |
| 19:18:47 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 19:21:09 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 19:21:09 | ljdarj1 | is now known as ljdarj |
| 19:27:09 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 19:27:46 | × | Square quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 19:29:52 | → | prdak joins (~Thunderbi@user/prdak) |
| 19:30:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) |
| 19:31:36 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 19:32:47 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 19:34:13 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 19:36:12 | → | notzmv joins (~umar@user/notzmv) |
| 19:37:22 | × | prdak1 quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 19:45:27 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 19:46:46 | → | img joins (~img@user/img) |
| 19:47:28 | → | pavonia joins (~user@user/siracusa) |
| 19:51:29 | × | Natch quits (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 260 seconds) |
| 19:55:58 | × | Jerryeee quits (~Thunderbi@user/Jerryeee) (Quit: Jerryeee) |
| 20:04:07 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 20:10:24 | × | notzmv quits (~umar@user/notzmv) (Remote host closed the connection) |
| 20:12:26 | → | Natch joins (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 20:16:08 | → | jespada joins (~jespada@2800:a4:2283:2700:b478:a910:7fc4:f05e) |
| 20:22:05 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 20:22:38 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 20:30:06 | → | jespada_ joins (~jespada@2800:a4:2283:2700:35b7:45e4:9371:d1ef) |
| 20:32:49 | × | jespada quits (~jespada@2800:a4:2283:2700:b478:a910:7fc4:f05e) (Ping timeout: 248 seconds) |
| 20:33:57 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 20:35:18 | → | jespada joins (~jespada@2800:a4:2283:2700:4d56:5313:eb6:35c4) |
| 20:39:13 | × | jespada_ quits (~jespada@2800:a4:2283:2700:35b7:45e4:9371:d1ef) (Ping timeout: 276 seconds) |
| 20:42:48 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 20:43:55 | × | michalz quits (~michalz@185.246.207.197) (Remote host closed the connection) |
| 20:53:09 | → | Square joins (~Square@user/square) |
| 21:00:06 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 21:17:14 | × | tessier quits (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 260 seconds) |
| 21:18:53 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 21:22:44 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 268 seconds) |
| 21:22:49 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 21:22:55 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:25:09 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 21:30:45 | → | Guest43 joins (~Guest43@2a02:8108:6a14:e300::d6c4) |
| 21:31:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:33:18 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 21:37:53 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 245 seconds) |
| 21:38:40 | × | Guest43 quits (~Guest43@2a02:8108:6a14:e300::d6c4) (Quit: Client closed) |
| 21:39:44 | → | notzmv joins (~umar@user/notzmv) |
| 21:40:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) |
| 21:40:45 | → | sim590 joins (~simon@2001:18c0:a82:2400::9fb) |
| 21:42:36 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:44:49 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 21:46:56 | → | prdak joins (~Thunderbi@user/prdak) |
| 21:49:14 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 21:51:04 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:51:16 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 21:51:18 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 21:53:53 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 21:54:11 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 252 seconds) |
| 21:54:33 | × | sp1ff quits (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 245 seconds) |
| 21:55:07 | × | Angelz quits (Angelz@user/angelz) (Read error: Connection reset by peer) |
| 22:02:41 | → | sp1ff joins (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 22:04:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:05:30 | → | lfr` joins (~user@i59F7AEE4.versanet.de) |
| 22:09:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 22:10:57 | × | lfr` quits (~user@i59F7AEE4.versanet.de) (Ping timeout: 276 seconds) |
| 22:14:42 | trickard_ | is now known as trickard |
| 22:16:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:20:26 | × | sp1ff quits (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 272 seconds) |
| 22:21:05 | × | Square quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 22:21:30 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 22:23:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:26:19 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 22:26:29 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 22:29:16 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 22:29:16 | ljdarj1 | is now known as ljdarj |
| 22:34:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:37:16 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 22:37:23 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 22:39:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 22:41:00 | <Unicorn_Princess> | in cases where both work, do you prefer case expressions, or just function definition pattern matching? (e.g. f (Just x) = .., f Nothing = ..) |
| 22:41:22 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 22:42:13 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 252 seconds) |
| 22:42:24 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 22:43:24 | <geekosaur> | the latter |
| 22:43:39 | <Unicorn_Princess> | any reason? |
| 22:45:11 | <Unicorn_Princess> | personally i guess i don't like repeating the function name, but on the other hand, it is conceptually simpler.. |
| 22:45:18 | → | Angelz joins (Angelz@Angelz.oddprotocol.org) |
| 22:45:33 | → | falafel joins (~falafel@79.117.174.28) |
| 22:45:50 | <geekosaur> | most people consider it writing what you mean, although I will add the observation that it's only true if you're used to mathematical notation |
| 22:45:58 | <geekosaur> | where functions are often defined that way |
| 22:46:26 | <geekosaur> | you might have nnoticed that the mathies kinda rule in the Haskell realm 🙂 |
| 22:48:09 | × | falafel quits (~falafel@79.117.174.28) (Remote host closed the connection) |
| 22:48:09 | × | sprotte24 quits (~sprotte24@p200300d16f055c002408fd05648795dd.dip0.t-ipconnect.de) (Quit: Leaving) |
| 22:50:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:53:07 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 22:54:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:56:12 | <Unicorn_Princess> | makes sense, thanks |
| 22:58:19 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 268 seconds) |
| 22:58:54 | <jackdk> | `f = \case ...` (Requires `{-# LANGUAGE LambdaCase #-}` |
| 23:02:38 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 268 seconds) |
| 23:03:31 | × | acidjnk quits (~acidjnk@p200300d6e70b661810c0baac8c5eeb00.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 23:05:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:06:31 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 23:09:12 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 23:10:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 23:12:42 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 23:13:57 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 23:17:18 | → | poscat0x04 joins (~poscat@user/poscat) |
| 23:19:07 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 23:19:20 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 23:19:25 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 23:20:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:24:19 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds) |
| 23:24:46 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (Quit: We're here. We're queer. Connection reset by peer) |
| 23:24:52 | → | caubert joins (~caubert@user/caubert) |
| 23:25:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:35:17 | → | lfr` joins (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 23:36:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:40:15 | × | lfr` quits (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 268 seconds) |
| 23:41:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 23:44:56 | → | weary-traveler joins (~user@user/user363627) |
| 23:44:59 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:51:19 | → | lfr` joins (~user@i59F7AEE4.versanet.de) |
| 23:51:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:55:56 | × | lfr` quits (~user@i59F7AEE4.versanet.de) (Ping timeout: 252 seconds) |
| 23:58:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
All times are in UTC on 2025-07-16.