Home liberachat/#haskell: Logs Calendar

Logs on 2025-06-30 (liberachat/#haskell)

00:02:48 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
00:02:57 × jespada quits (~jespada@r179-25-68-191.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds)
00:03:11 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:03:36 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
00:04:58 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
00:08:05 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
00:08:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
00:08:52 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
00:11:11 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
00:12:43 × tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds)
00:13:01 × benkard quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
00:13:34 tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com)
00:13:36 j1n37 joins (~j1n37@user/j1n37)
00:14:35 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
00:19:02 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:19:54 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
00:19:55 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
00:19:58 Jeanne-Kamikaze joins (~jeannekam@static-23-234-92-147.cust.tzulo.com)
00:20:01 benkard is now known as mulk
00:20:33 mud joins (~mud@user/kadoban)
00:21:18 × kadobanana quits (~mud@user/kadoban) (Ping timeout: 276 seconds)
00:23:35 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
00:24:23 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
00:25:04 × jetchisel quits (~jetchisel@user/jetchisel) (Quit: Unfortunately time is always against us -- [Morpheus])
00:26:57 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
00:27:24 × xff0x quits (~xff0x@2405:6580:b080:900:6c6f:d601:8f7b:365d) (Ping timeout: 244 seconds)
00:27:52 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
00:29:06 j1n37 joins (~j1n37@user/j1n37)
00:32:55 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
00:33:11 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
00:33:23 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
00:34:39 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
00:35:41 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
00:38:19 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
00:40:22 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:41:08 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
00:41:30 j1n37 joins (~j1n37@user/j1n37)
00:42:02 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
00:42:20 poscat joins (~poscat@user/poscat)
00:42:43 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
00:43:21 jmorris joins (uid604645@id-604645.hampstead.irccloud.com)
00:45:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
00:45:41 × benkard quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
00:46:22 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
00:48:36 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
00:50:40 × inline quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving)
00:50:57 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
00:52:46 j1n37 joins (~j1n37@user/j1n37)
00:54:50 × tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds)
00:55:46 tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com)
00:55:56 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:56:51 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
01:00:49 wbooze joins (~user@ip-005-146-196-116.um05.pools.vodafone-ip.de)
01:01:04 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
01:01:48 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:02:07 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:03:18 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
01:03:43 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
01:05:04 × ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj)
01:05:57 wbooze_ joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de)
01:07:14 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
01:08:18 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
01:11:42 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:12:03 × benkard quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
01:13:55 × trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
01:14:07 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
01:16:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
01:16:58 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
01:17:56 inline__ joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de)
01:20:48 × wbooze_ quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 245 seconds)
01:21:35 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
01:22:59 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
01:23:04 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
01:25:32 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
01:27:00 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
01:27:30 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
01:27:30 benkard is now known as mulk
01:27:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:28:07 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
01:29:43 j1n37 joins (~j1n37@user/j1n37)
01:31:52 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
01:32:40 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
01:35:04 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
01:37:16 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
01:39:44 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
01:40:22 j1n37 joins (~j1n37@user/j1n37)
01:40:24 × ski quits (~ski@remote11.chalmers.se) (Remote host closed the connection)
01:42:10 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
01:42:37 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
01:43:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:45:48 j1n37 joins (~j1n37@user/j1n37)
01:49:35 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
01:49:37 ski joins (~ski@remote11.chalmers.se)
01:49:57 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
01:50:04 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
01:50:23 × tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 245 seconds)
01:51:11 tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com)
01:54:52 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
01:54:54 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
01:54:58 benkard is now known as mulk
02:00:01 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
02:00:49 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
02:01:21 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:02:25 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
02:03:40 caubert joins (~caubert@user/caubert)
02:04:01 × Jeanne-Kamikaze quits (~jeannekam@static-23-234-92-147.cust.tzulo.com) (Remote host closed the connection)
02:05:26 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
02:05:52 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
02:05:52 benkard is now known as mulk
02:06:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
02:08:27 × caubert quits (~caubert@user/caubert) (Ping timeout: 244 seconds)
02:09:38 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
02:10:22 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
02:11:26 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
02:11:59 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
02:15:46 j1n37 joins (~j1n37@user/j1n37)
02:15:49 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
02:17:08 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:18:25 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
02:19:53 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
02:21:31 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
02:22:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
02:22:45 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
02:23:07 j1n37 joins (~j1n37@user/j1n37)
02:23:27 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
02:24:23 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
02:25:29 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
02:27:36 j1n37 joins (~j1n37@user/j1n37)
02:28:29 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
02:29:01 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
02:29:54 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
02:30:20 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
02:32:56 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:33:17 j1n37 joins (~j1n37@user/j1n37)
02:33:27 × td_ quits (~td@i53870934.versanet.de) (Ping timeout: 252 seconds)
02:33:45 × benkard quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
02:34:12 × MaybeMonad quits (~MaybeMona@user/MaybeMonad) (Ping timeout: 252 seconds)
02:35:19 td_ joins (~td@i53870930.versanet.de)
02:36:50 caubert joins (~caubert@user/caubert)
02:37:38 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
02:38:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
02:38:55 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: Leaving)
02:42:12 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
02:42:55 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
02:42:55 benkard is now known as mulk
02:43:09 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
02:46:12 × tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds)
02:46:34 tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com)
02:47:24 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
02:47:30 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
02:48:43 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:49:20 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
02:53:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
02:54:00 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
02:54:54 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
02:55:24 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
02:56:57 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
02:59:52 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:00:10 j1n37 joins (~j1n37@user/j1n37)
03:00:14 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
03:00:14 benkard is now known as mulk
03:02:22 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
03:02:45 j1n37 joins (~j1n37@user/j1n37)
03:04:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:04:49 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:04:52 caubert joins (~caubert@user/caubert)
03:04:59 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
03:04:59 benkard is now known as mulk
03:05:06 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
03:06:10 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
03:09:18 j1n37 joins (~j1n37@user/j1n37)
03:09:25 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
03:09:29 × trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
03:09:31 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:09:43 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
03:09:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
03:09:55 benkard is now known as mulk
03:09:59 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
03:10:43 aforemny joins (~aforemny@2001:9e8:6cf9:b500:8f3f:3813:bdc7:284b)
03:12:14 × aforemny_ quits (~aforemny@2001:9e8:6cdb:9800:69b2:84ea:7158:964e) (Ping timeout: 265 seconds)
03:14:04 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
03:14:54 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:18:58 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:19:58 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
03:20:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:23:05 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:23:07 × jmorris quits (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
03:23:42 × benkard quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
03:27:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
03:27:39 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
03:28:10 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:28:16 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: Ping timeout (120 seconds))
03:28:27 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:32:30 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
03:33:07 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:33:42 × a_fantom quits (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds)
03:37:30 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
03:37:38 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
03:38:03 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:38:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:41:10 j1n37 joins (~j1n37@user/j1n37)
03:42:29 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
03:43:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
03:43:39 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:45:20 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
03:47:55 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:48:39 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
03:48:39 benkard is now known as mulk
03:49:04 j1n37 joins (~j1n37@user/j1n37)
03:53:16 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
03:53:19 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
03:53:31 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:53:55 benkard is now known as mulk
03:54:07 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:55:36 arahael joins (~arahael@user/arahael)
03:58:26 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
03:58:34 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
03:58:35 benkard is now known as mulk
03:59:35 j1n37 joins (~j1n37@user/j1n37)
03:59:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
04:01:14 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
04:02:42 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
04:02:55 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
04:02:55 benkard is now known as mulk
04:03:19 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
04:04:24 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
04:05:02 j1n37 joins (~j1n37@user/j1n37)
04:05:39 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
04:06:34 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:06:59 caubert joins (~caubert@user/caubert)
04:07:27 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
04:07:41 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
04:09:42 trickard_ is now known as trickard
04:09:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:09:56 j1n37 joins (~j1n37@user/j1n37)
04:10:16 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
04:11:22 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
04:11:56 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
04:11:56 benkard is now known as mulk
04:12:58 × caubert quits (~caubert@user/caubert) (Ping timeout: 272 seconds)
04:15:18 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
04:15:50 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
04:16:04 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
04:16:04 benkard is now known as mulk
04:17:19 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
04:19:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:19:23 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:20:34 j1n37 joins (~j1n37@user/j1n37)
04:20:37 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
04:20:42 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
04:21:06 benkard is now known as mulk
04:25:11 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
04:25:25 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
04:25:25 benkard is now known as mulk
04:25:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:29:48 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
04:30:39 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
04:31:11 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
04:35:17 benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
04:35:34 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
04:35:34 benkard is now known as mulk
04:39:08 × Square quits (~Square@user/square) (Ping timeout: 245 seconds)
04:40:12 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
04:40:38 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
04:41:27 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:45:12 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
04:45:33 mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de)
04:46:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
04:46:40 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
04:50:10 × mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
04:57:13 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:00:30 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
05:03:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
05:04:38 j1n37 joins (~j1n37@user/j1n37)
05:06:43 × shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 252 seconds)
05:09:20 × hook54321 quits (sid149355@user/hook54321) (Ping timeout: 272 seconds)
05:09:24 michalz joins (~michalz@185.246.207.203)
05:11:02 shawwwn joins (sid6132@id-6132.helmsley.irccloud.com)
05:13:59 × michalz quits (~michalz@185.246.207.203) (Remote host closed the connection)
05:14:56 hook54321 joins (sid149355@user/hook54321)
05:15:16 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:16:29 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
05:17:15 michalz joins (~michalz@185.246.207.205)
05:19:58 j1n37 joins (~j1n37@user/j1n37)
05:20:52 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
05:28:26 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:33:52 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
05:45:27 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:49:48 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
05:56:03 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
06:00:35 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
06:00:49 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:03:37 j1n37 joins (~j1n37@user/j1n37)
06:05:44 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
06:08:23 GdeVolpi1 is now known as GdeVolpiano
06:09:01 caubert joins (~caubert@user/caubert)
06:09:39 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
06:09:44 ensyde joins (~ensyde@c-73-147-64-74.hsd1.va.comcast.net)
06:12:22 × Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 252 seconds)
06:12:42 j1n37 joins (~j1n37@user/j1n37)
06:14:29 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
06:15:40 mulk joins (~mulk@p5b112e4e.dip0.t-ipconnect.de)
06:16:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:17:04 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
06:17:14 × rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.9.1 - https://znc.in)
06:18:46 rembo10 joins (~rembo10@main.remulis.com)
06:20:29 j1n37 joins (~j1n37@user/j1n37)
06:21:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
06:22:08 caubert joins (~caubert@user/caubert)
06:24:30 sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:25:24 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
06:30:53 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
06:31:38 j1n37 joins (~j1n37@user/j1n37)
06:32:23 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:32:35 Nosrep joins (~jimothy@user/nosrep)
06:36:11 kadobanana joins (~mud@user/kadoban)
06:37:00 × mud quits (~mud@user/kadoban) (Ping timeout: 276 seconds)
06:39:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
06:39:58 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
06:40:37 <haskellbridge> <Axman6> @unmtl StateT Claims (LogicT IO)
06:41:02 <haskellbridge> <Axman6> D: am I too matrix for lambdabot?
06:41:15 <Axman6> @unmtl StateT Claims (LogicT IO)
06:41:15 <lambdabot> err: `StateT Claims (LogicT IO)' is not applied to enough arguments, giving `/\A. Claims -> LogicT IO (A, Claims)'
06:41:20 <Axman6> @unmtl StateT Claims (LogicT IO) a
06:41:20 <lambdabot> Claims -> LogicT IO (a, Claims)
06:46:42 × Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 248 seconds)
06:46:44 FANTOM joins (~fantom@33be818f.skybroadband.com)
06:50:13 × ft quits (~ft@p3e9bc0bf.dip0.t-ipconnect.de) (Quit: leaving)
06:50:27 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:51:09 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
06:52:06 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
06:55:48 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
06:59:11 j1n37 joins (~j1n37@user/j1n37)
07:00:02 × caconym7 quits (~caconym@user/caconym) (Quit: bye)
07:00:42 caconym7 joins (~caconym@user/caconym)
07:00:52 tromp joins (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
07:03:58 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
07:06:15 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:07:04 j1n37 joins (~j1n37@user/j1n37)
07:11:27 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
07:13:17 __monty__ joins (~toonn@user/toonn)
07:18:25 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
07:24:08 j1n37 joins (~j1n37@user/j1n37)
07:25:04 acidjnk joins (~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de)
07:34:12 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
07:34:36 chele joins (~chele@user/chele)
07:35:53 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds)
07:36:39 j1n37 joins (~j1n37@user/j1n37)
07:36:50 × tromp quits (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:37:05 <probie> Axman6: If you want to do it from Matrix, precede it with a newline
07:41:22 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
07:41:42 tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
07:42:41 × kadobanana quits (~mud@user/kadoban) (Ping timeout: 248 seconds)
07:45:35 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
07:45:55 kadobanana joins (~mud@user/kadoban)
07:48:43 × caubert quits (~caubert@user/caubert) (Ping timeout: 245 seconds)
07:49:16 <tomsmeding> Axman6: and put a . on the first line otherwise the newline will get swallowed
07:49:33 j1n37 joins (~j1n37@user/j1n37)
07:49:39 <haskellbridge> <Axman6> D:
07:50:22 mud joins (~mud@user/kadoban)
07:50:44 × kadobanana quits (~mud@user/kadoban) (Ping timeout: 260 seconds)
07:55:13 caubert joins (~caubert@user/caubert)
07:57:02 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
07:57:02 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
08:00:08 × trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
08:00:22 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
08:02:00 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
08:03:07 merijn joins (~merijn@77.242.116.146)
08:07:09 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
08:16:36 lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
08:16:48 × Fischmie- quits (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in)
08:18:27 j1n37 joins (~j1n37@user/j1n37)
08:19:40 Fischmiep joins (~Fischmiep@user/Fischmiep)
08:20:39 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
08:20:40 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
08:20:54 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
08:24:24 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:25:12 j1n37 joins (~j1n37@user/j1n37)
08:25:23 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
08:28:43 × arahael quits (~arahael@user/arahael) (Ping timeout: 276 seconds)
08:29:30 fp joins (~Thunderbi@2001:708:20:1406::10c5)
08:31:19 × caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds)
08:35:46 dhil joins (~dhil@5.151.29.137)
08:37:14 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
08:38:22 caubert joins (~caubert@user/caubert)
08:39:23 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds)
08:39:53 tromp joins (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
08:40:49 j1n37 joins (~j1n37@user/j1n37)
08:41:08 merijn joins (~merijn@77.242.116.146)
08:49:44 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds)
08:49:54 trickard_ is now known as trickard
08:51:49 merijn joins (~merijn@77.242.116.146)
08:52:17 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
08:55:43 j1n37 joins (~j1n37@user/j1n37)
08:57:30 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
09:00:45 j1n37 joins (~j1n37@user/j1n37)
09:02:24 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
09:02:50 kadobanana joins (~mud@user/kadoban)
09:02:52 × mud quits (~mud@user/kadoban) (Ping timeout: 252 seconds)
09:03:18 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
09:05:12 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds)
09:06:10 j1n37 joins (~j1n37@user/j1n37)
09:07:37 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
09:11:17 merijn joins (~merijn@77.242.116.146)
09:14:45 j1n37 joins (~j1n37@user/j1n37)
09:18:50 × tromp quits (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:20:26 tromp joins (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
09:31:39 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
09:31:50 × trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
09:32:11 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
09:33:07 × kaskal- quits (~kaskal@2a02:8388:15bf:c200:6b44:aaf4:76f8:8b1) (Quit: ZNC - https://znc.in)
09:33:28 kaskal joins (~kaskal@2a02:8388:15bf:c200:2968:f867:8a66:34b3)
09:35:04 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
09:36:08 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
09:38:21 j1n37 joins (~j1n37@user/j1n37)
09:45:28 × werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 272 seconds)
09:47:07 Digitteknohippie joins (~user@user/digit)
09:48:48 × Digit quits (~user@user/digit) (Ping timeout: 244 seconds)
09:51:14 trickard_ is now known as trickard
09:57:40 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
10:03:17 j1n37 joins (~j1n37@user/j1n37)
10:05:50 MaybeMonad joins (~MaybeMona@user/MaybeMonad)
10:08:53 × fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds)
10:17:34 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds)
10:22:18 × trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
10:22:32 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
10:23:57 inline__ is now known as inline
10:24:26 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
10:24:58 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
10:25:12 arahael joins (~arahael@user/arahael)
10:27:10 jahkosha joins (~jahkosha@user/jahkosha)
10:27:36 × jahkosha quits (~jahkosha@user/jahkosha) (Remote host closed the connection)
10:28:35 j1n37 joins (~j1n37@user/j1n37)
10:29:00 merijn joins (~merijn@77.242.116.146)
10:30:41 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
10:33:07 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
10:34:10 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
10:34:26 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
10:34:29 Lord_of_Life_ is now known as Lord_of_Life
10:35:30 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds)
10:35:33 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds)
10:36:24 j1n37 joins (~j1n37@user/j1n37)
10:36:29 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
10:38:34 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
10:38:40 Digitteknohippie is now known as Digit
10:39:57 × califax quits (~califax@user/califx) (Remote host closed the connection)
10:40:16 j1n37 joins (~j1n37@user/j1n37)
10:41:48 califax joins (~califax@user/califx)
10:45:33 merijn joins (~merijn@77.242.116.146)
10:48:39 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
10:51:31 caubert joins (~caubert@user/caubert)
10:51:56 j1n37 joins (~j1n37@user/j1n37)
10:52:12 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
10:54:19 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds)
10:55:30 merijn joins (~merijn@77.242.116.146)
10:56:14 × rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
10:56:47 rvalue joins (~rvalue@about/hackers/rvalue)
10:59:01 × MaybeMonad quits (~MaybeMona@user/MaybeMonad) (Ping timeout: 248 seconds)
11:00:05 fp joins (~Thunderbi@2001:708:20:1406::10c5)
11:01:40 jespada joins (~jespada@r186-48-26-10.dialup.adsl.anteldata.net.uy)
11:02:38 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
11:03:50 comerijn joins (~merijn@77.242.116.146)
11:05:42 ftzm8 joins (~ftzm@085080227187.dynamic.telenor.dk)
11:06:00 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit)
11:06:32 × ftzm quits (~ftzm@085080234104.dynamic.telenor.dk) (Ping timeout: 272 seconds)
11:06:33 ftzm8 is now known as ftzm
11:06:45 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds)
11:11:10 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
11:11:38 lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
11:13:58 j1n37 joins (~j1n37@user/j1n37)
11:17:09 × ensyde quits (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 248 seconds)
11:21:40 xff0x joins (~xff0x@2405:6580:b080:900:eeca:2e63:9b20:a17f)
11:23:17 Digitteknohippie joins (~user@user/digit)
11:23:22 × swistak quits (~swistak@185.21.216.141) (Quit: bye bye)
11:23:40 swistak joins (~swistak@185.21.216.141)
11:24:16 × Digit quits (~user@user/digit) (Ping timeout: 265 seconds)
11:27:23 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
11:28:53 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
11:32:26 j1n37 joins (~j1n37@user/j1n37)
11:34:24 × acidjnk quits (~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
11:36:03 Digitteknohippie is now known as Digit
11:40:10 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
11:41:28 img joins (~img@user/img)
11:45:17 × comerijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds)
11:47:59 merijn joins (~merijn@77.242.116.146)
11:50:51 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
11:51:36 ljdarj joins (~Thunderbi@user/ljdarj)
11:51:55 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 244 seconds)
11:51:56 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
11:53:26 × tromp quits (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:54:57 j1n37 joins (~j1n37@user/j1n37)
11:56:03 trickard_ is now known as trickard
11:59:28 fp1 joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi)
12:00:36 tromp joins (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
12:01:03 × fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
12:01:03 fp1 is now known as fp
12:01:31 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:07:36 j1n37 joins (~j1n37@user/j1n37)
12:09:51 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:16:02 j1n37 joins (~j1n37@user/j1n37)
12:19:08 × trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
12:20:00 acidjnk joins (~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de)
12:22:46 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:23:34 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
12:24:45 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
12:27:08 haritz joins (~hrtz@152.37.64.162)
12:27:08 × haritz quits (~hrtz@152.37.64.162) (Changing host)
12:27:08 haritz joins (~hrtz@user/haritz)
12:28:08 j1n37 joins (~j1n37@user/j1n37)
12:28:49 × trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
12:31:17 × fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 248 seconds)
12:33:53 fp joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi)
12:34:33 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
12:39:12 ensyde joins (~ensyde@c-73-147-64-74.hsd1.va.comcast.net)
12:41:22 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:46:35 trickard_ is now known as trickard
12:48:21 rvalue- joins (~rvalue@about/hackers/rvalue)
12:49:27 × rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 276 seconds)
12:49:31 j1n37 joins (~j1n37@user/j1n37)
12:50:48 __monty__ joins (~toonn@user/toonn)
12:52:38 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
12:52:47 lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
12:55:12 rvalue- is now known as rvalue
13:05:27 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
13:05:53 × trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
13:08:30 j1n37 joins (~j1n37@user/j1n37)
13:09:15 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
13:11:15 trickard_ is now known as trickard
13:13:04 j1n37- joins (~j1n37@user/j1n37)
13:14:25 × ensyde quits (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 248 seconds)
13:14:48 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds)
13:19:21 × jespada quits (~jespada@r186-48-26-10.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds)
13:22:27 jespada joins (~jespada@179.26.248.242)
13:24:08 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
13:24:28 × myme quits (~myme@2a01:799:d5e:5f00:33d5:753e:da5c:fb23) (Ping timeout: 276 seconds)
13:25:01 myme joins (~myme@2a01:799:d5e:5f00:b35a:74:d167:4c1e)
13:25:04 ttybitnik joins (~ttybitnik@user/wolper)
13:25:41 j1n37 joins (~j1n37@user/j1n37)
13:25:46 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
13:26:34 × j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds)
13:30:18 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
13:33:32 j1n37 joins (~j1n37@user/j1n37)
13:34:44 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
13:41:09 × trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:41:22 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
13:44:31 × trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:46:59 × oxapentane quits (~oxapentan@user/oxapentane) (Remote host closed the connection)
13:47:34 oxapentane joins (~oxapentan@user/oxapentane)
13:48:27 <yin> hls fails with the diagnostic error "Locading the module XXX failed. It may not be listed in your .cabal file!"
13:48:54 <yin> this is the cabal file https://paste.jrvieira.com/1751291328014
13:49:27 ystael joins (~ystael@user/ystael)
13:49:37 <yin> i get this error on all Verse.XXX modules
13:51:37 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
13:55:08 <tomsmeding> yin: not sure if this is it, but exposed-modules takes a list without commas
13:55:16 <tomsmeding> just whitespace-separated
13:55:44 jmcantrell joins (~weechat@user/jmcantrell)
13:56:38 × trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
14:00:19 <yin> what? first time I'm hearing about this
14:01:08 <tomsmeding> apparently cabal supports both? TIL
14:01:20 <tomsmeding> do you have a hie.yaml?
14:01:44 <tomsmeding> have you tried closing your editor, running `rm -rf ~/.cache/ghcide`, running `cabal build`, and then reopening your editor?
14:02:08 <tomsmeding> (the HLS equivalent of "have you tried to turn it off and on again")
14:02:19 <yin> https://paste.jrvieira.com/1751292105319
14:02:35 <yin> good idea. trying that
14:02:40 <tomsmeding> yin: if you have a hie.yaml then HLS trusts that blindly
14:02:40 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
14:02:46 <tomsmeding> you only have ./app in there so only ./app is known
14:03:11 <tomsmeding> yin: try removing line 3 and 4 of hie.yaml, leaving just "cradle: cabal:" with a newline in between
14:03:28 <tomsmeding> you can also try removing hie.yaml entirely
14:03:52 × tromp quits (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:05:05 <yin> that worked
14:05:11 <yin> ty
14:06:53 tromp joins (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
14:07:54 MaybeMonad joins (~MaybeMona@user/MaybeMonad)
14:09:23 <yin> i can't remember why i generated hie.yml in the first place
14:10:42 × trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 276 seconds)
14:13:59 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
14:14:44 × ZLima12 quits (~zlima12@user/meow/ZLima12) (Remote host closed the connection)
14:15:53 ZLima12 joins (~zlima12@user/meow/ZLima12)
14:17:18 × j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen)
14:18:07 j1n37 joins (~j1n37@user/j1n37)
14:18:57 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
14:19:33 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
14:26:46 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
14:33:25 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
14:34:01 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
14:35:36 j1n37 joins (~j1n37@user/j1n37)
14:35:45 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
14:38:44 trickard_ is now known as trickard
14:43:29 × fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 248 seconds)
14:43:51 × MaybeMonad quits (~MaybeMona@user/MaybeMonad) (Ping timeout: 268 seconds)
14:44:37 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:44:56 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:45:13 Square joins (~Square@user/square)
14:45:49 × trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 265 seconds)
14:45:56 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
14:50:19 trickard joins (~trickard@cpe-50-98-47-163.wireline.com.au)
14:51:40 j1n37 joins (~j1n37@user/j1n37)
14:53:03 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
14:57:17 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
14:59:49 j1n37 joins (~j1n37@user/j1n37)
15:02:18 × arahael quits (~arahael@user/arahael) (Ping timeout: 252 seconds)
15:03:04 × tromp quits (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:04:55 tromp joins (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
15:09:16 × Ranhir quits (~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/)
15:10:02 Guest59 joins (~Guest59@pool-100-36-178-27.washdc.fios.verizon.net)
15:11:17 × Guest59 quits (~Guest59@pool-100-36-178-27.washdc.fios.verizon.net) (Client Quit)
15:11:33 patri joins (~patri@pool-100-36-178-27.washdc.fios.verizon.net)
15:14:21 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
15:15:14 pat67 joins (~pat67@pool-100-36-178-27.washdc.fios.verizon.net)
15:15:30 × acidjnk quits (~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
15:15:36 × pat67 quits (~pat67@pool-100-36-178-27.washdc.fios.verizon.net) (Client Quit)
15:16:00 × trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
15:16:33 pat67 joins (~pat67@pool-100-36-178-27.washdc.fios.verizon.net)
15:16:44 trickard joins (~trickard@cpe-50-98-47-163.wireline.com.au)
15:18:49 × pat67 quits (~pat67@pool-100-36-178-27.washdc.fios.verizon.net) (Client Quit)
15:18:57 × patri quits (~patri@pool-100-36-178-27.washdc.fios.verizon.net) (Quit: Client closed)
15:19:52 × AlexNoo quits (~AlexNoo@5.139.232.110) (Quit: Leaving)
15:20:14 × AlexZenon quits (~alzenon@5.139.232.110) (Quit: ;-)
15:26:05 vanishingideal joins (~vanishing@user/vanishingideal)
15:28:37 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
15:29:22 × trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 272 seconds)
15:29:47 jmcantrell joins (~weechat@user/jmcantrell)
15:31:39 hiredman joins (~hiredman@frontier1.downey.family)
15:33:54 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
15:34:56 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
15:37:07 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
15:40:57 Pixi__ joins (~Pixi@user/pixi)
15:41:25 × ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection)
15:44:24 × Pixi` quits (~Pixi@user/pixi) (Ping timeout: 260 seconds)
15:44:46 j1n37 joins (~j1n37@user/j1n37)
15:49:45 acidjnk joins (~acidjnk@p200300d6e70b66275d7f857c8192c0ec.dip0.t-ipconnect.de)
15:50:53 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
15:52:49 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
15:53:07 j1n37 joins (~j1n37@user/j1n37)
15:55:16 ljdarj joins (~Thunderbi@user/ljdarj)
15:55:46 Ranhir joins (~Ranhir@157.97.53.139)
15:55:54 × trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
15:58:42 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
16:02:53 × tromp quits (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:03:32 patri joins (~patri@pool-100-36-178-27.washdc.fios.verizon.net)
16:04:51 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
16:07:17 AlexNoo joins (~AlexNoo@5.139.232.110)
16:10:02 nacation joins (~m-3l4s76@user/nacation)
16:10:47 × patri quits (~patri@pool-100-36-178-27.washdc.fios.verizon.net) (Changing host)
16:10:47 patri joins (~patri@user/patri)
16:14:10 patri_ joins (~patri@user/patri)
16:14:12 × patri quits (~patri@user/patri) (Quit: Client closed)
16:14:17 Nosrep joins (~jimothy@user/nosrep)
16:14:19 patri_ is now known as patri
16:14:36 × patri quits (~patri@user/patri) (Read error: Connection reset by peer)
16:15:02 patri joins (~patri@user/patri)
16:21:52 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
16:22:02 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
16:24:54 ensyde joins (~ensyde@c-73-147-64-74.hsd1.va.comcast.net)
16:28:02 trickard_ is now known as trickard
16:29:44 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds)
16:31:18 × ensyde quits (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 252 seconds)
16:33:41 tromp joins (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
16:33:54 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
16:34:41 j1n37 joins (~j1n37@user/j1n37)
16:35:00 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
16:38:18 j1n37 joins (~j1n37@user/j1n37)
16:38:28 × trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
16:45:07 × tromp quits (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:48:05 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
16:51:45 j1n37 joins (~j1n37@user/j1n37)
16:53:12 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
16:56:18 j1n37 joins (~j1n37@user/j1n37)
16:58:48 × AlexNoo quits (~AlexNoo@5.139.232.110) (Quit: Leaving)
17:03:31 × caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds)
17:08:20 × nacation quits (~m-3l4s76@user/nacation) (Remote host closed the connection)
17:09:13 × wbrawner quits (~wbrawner@static.205.41.78.5.clients.your-server.de) (Read error: Connection reset by peer)
17:09:23 nacation joins (~m-3l4s76@user/nacation)
17:09:33 wbrawner joins (~wbrawner@static.205.41.78.5.clients.your-server.de)
17:09:48 Pixi__ is now known as Pixi
17:14:49 caubert joins (~caubert@user/caubert)
17:19:31 hseg joins (~gesh@46.120.20.122)
17:19:45 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
17:24:45 × trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
17:25:16 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 272 seconds)
17:26:08 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
17:28:04 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
17:28:34 AlexNoo joins (~AlexNoo@5.139.232.110)
17:28:39 tromp joins (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944)
17:30:10 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
17:31:09 × jespada quits (~jespada@179.26.248.242) (Quit: My Mac has gone to sleep. ZZZzzz…)
17:32:55 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
17:34:25 poscat0x04 joins (~poscat@user/poscat)
17:36:24 × poscat quits (~poscat@user/poscat) (Ping timeout: 260 seconds)
17:37:18 jespada joins (~jespada@179.26.248.242)
17:38:23 j1n37 joins (~j1n37@user/j1n37)
17:39:31 AlexZenon joins (~alzenon@5.139.232.110)
17:41:08 caubert joins (~caubert@user/caubert)
17:41:09 ft joins (~ft@p3e9bc301.dip0.t-ipconnect.de)
17:41:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:43:39 trickard_ is now known as trickard
17:46:26 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
17:46:28 j1n37- joins (~j1n37@user/j1n37)
17:47:33 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds)
17:50:58 × caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds)
17:51:43 euphores joins (~SASL_euph@user/euphores)
17:57:07 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:58:33 × j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds)
17:58:54 j1n37 joins (~j1n37@user/j1n37)
18:03:03 × trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
18:03:16 trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au)
18:03:46 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
18:09:25 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
18:12:42 j1n37 joins (~j1n37@user/j1n37)
18:14:14 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
18:15:10 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:16:28 j1n37 joins (~j1n37@user/j1n37)
18:18:14 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
18:18:59 <haskellbridge> <Kyle Butt> Trying to reach as wide an audience as possible: I am seeking to take over maintainership of the cql and cql-io packages: https://discourse.haskell.org/t/taking-over-cql-and-cql-io/12397
18:20:12 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
18:22:27 caubert joins (~caubert@user/caubert)
18:25:56 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
18:26:16 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:26:40 × califax quits (~califax@user/califx) (Remote host closed the connection)
18:26:46 eron joins (~eron@177.95.127.170)
18:27:38 sprotte24 joins (~sprotte24@p200300d16f383100e04d61c54c10fc45.dip0.t-ipconnect.de)
18:27:51 califax joins (~califax@user/califx)
18:28:47 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
18:29:25 j1n37 joins (~j1n37@user/j1n37)
18:30:54 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
18:31:36 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
18:31:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
18:36:26 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:39:27 j1n37 joins (~j1n37@user/j1n37)
18:41:11 <[exa]> Kyle Butt: good luck there
18:42:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:44:54 <[exa]> Kyle Butt: btw it's super useful to link everything you claim in the post (important additions); and also great to have some kind of a proof that you tried to contact and waited for a while (open an issue in the repository or so, so that it can be seen as hanging, AND link it to discourse)
18:46:00 rat-with-hat joins (~rat-with-@24-113-114-97.wavecable.com)
18:46:01 × eron quits (~eron@177.95.127.170) (Quit: Client closed)
18:47:36 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
18:50:13 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
18:50:29 × mulk quits (~mulk@p5b112e4e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
18:51:15 <[exa]> Kyle Butt: I see the link there, perfect :)
18:51:40 × chele quits (~chele@user/chele) (Remote host closed the connection)
18:51:51 mulk joins (~mulk@p5b2dcd60.dip0.t-ipconnect.de)
18:53:24 j1n37 joins (~j1n37@user/j1n37)
18:55:01 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
18:55:21 j1n37 joins (~j1n37@user/j1n37)
18:57:53 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:00:02 × caconym7 quits (~caconym@user/caconym) (Quit: bye)
19:00:45 caconym7 joins (~caconym@user/caconym)
19:01:43 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
19:02:51 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
19:03:45 × hseg quits (~gesh@46.120.20.122) (Ping timeout: 252 seconds)
19:07:38 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
19:13:39 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:16:51 Everything joins (~Everythin@46.211.149.82)
19:18:19 × ft quits (~ft@p3e9bc301.dip0.t-ipconnect.de) (Quit: leaving)
19:19:04 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
19:20:22 ft joins (~ft@p3e9bc301.dip0.t-ipconnect.de)
19:21:57 machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net)
19:22:58 × machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Client Quit)
19:24:32 Digitteknohippie joins (~user@user/digit)
19:24:53 × Digit quits (~user@user/digit) (Ping timeout: 244 seconds)
19:26:00 trickard_ is now known as trickard
19:26:08 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
19:26:31 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
19:27:01 j1n37 joins (~j1n37@user/j1n37)
19:27:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:28:51 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
19:28:56 machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net)
19:29:25 <[exa]> hm so I see there's Unfoldable class https://hackage.haskell.org/package/unfoldable-1.0.1/docs/Data-Unfoldable.html . Are there any cases of stuff that are Unfoldable but not Traversable ?
19:29:57 × caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds)
19:32:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
19:32:58 j1n37 joins (~j1n37@user/j1n37)
19:37:30 j1n37- joins (~j1n37@user/j1n37)
19:37:51 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds)
19:43:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:49:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
19:50:45 d34db33f joins (~d34db33f@user/d34db33f)
19:55:15 caubert joins (~caubert@user/caubert)
19:56:36 L29Ah parts (~L29Ah@wikipedia/L29Ah) (Disconnected: closed)
19:58:35 j1n37 joins (~j1n37@user/j1n37)
19:59:44 × j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds)
20:00:19 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
20:01:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:04:13 × michalz quits (~michalz@185.246.207.205) (Ping timeout: 276 seconds)
20:04:46 michalz joins (~michalz@185.246.207.205)
20:05:06 j1n37 joins (~j1n37@user/j1n37)
20:06:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
20:11:46 target_i joins (~target_i@user/target-i/x-6023099)
20:12:25 × machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 244 seconds)
20:15:34 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
20:15:54 j1n37- joins (~j1n37@user/j1n37)
20:16:54 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:21:10 L29Ah joins (~L29Ah@wikipedia/L29Ah)
20:22:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
20:22:50 machinedgod joins (~machinedg@d172-219-249-147.abhsia.telus.net)
20:22:55 × machinedgod quits (~machinedg@d172-219-249-147.abhsia.telus.net) (Read error: Connection reset by peer)
20:23:20 × Everything quits (~Everythin@46.211.149.82) (Quit: leaving)
20:24:15 × j1n37- quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen)
20:25:32 j1n37 joins (~j1n37@user/j1n37)
20:36:59 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
20:39:57 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
20:43:32 machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net)
20:44:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:46:12 j1n37 joins (~j1n37@user/j1n37)
20:49:17 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
20:51:12 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
20:54:04 j1n37 joins (~j1n37@user/j1n37)
20:54:26 <tomsmeding> [exa]: Endo?
20:55:06 <tomsmeding> I feel like if Unfoldable has any laws, the only possible 'instance Unfoldable Endo' is liable to break them, but not sure
20:55:28 <tomsmeding> but I'm quite sure Endo is not Traversable, in any case
20:56:36 tomsmeding is not even sure how to intuitively think about that Unfoldable class
20:57:02 <[exa]> yeah to me it looks like "could just run traverse over state", not really sure where that could break
20:57:16 <[exa]> infinite trees would break it operationally but that's all I could come up with
20:57:32 <tomsmeding> but infinite trees would also break Traversable
20:58:53 <tomsmeding> (the Endo instance is 'unfold = fmap (Endo . const)')
20:59:02 <tomsmeding> (fairly sure there is no other total instance)
20:59:11 <tomsmeding> (stuff's too polymorphic)
20:59:39 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:00:44 <tomsmeding> okay I thought about it a bit more, and my Endo instance does kind of work with the intent of the class: given a way to generate an 'a', it describes how you can generate an 'Endo a'
21:01:00 <tomsmeding> it's just that there's (for most 'a') a boatload of values of 'Endo a' that this will not generate
21:01:16 <tomsmeding> so it's not a very _good_ generator, but it is technically a generator
21:01:54 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
21:03:36 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
21:04:39 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
21:06:54 j1n37 joins (~j1n37@user/j1n37)
21:07:16 <tomsmeding> [exa]: but I don't really understand what you mean with "could just run traverse over state"; what would you traverse over? 'unfold' does not get a t as input, it has to produce one
21:07:56 ttybitnik joins (~ttybitnik@user/wolper)
21:10:14 <[exa]> yeah I somehow pre-assumed that
21:11:09 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
21:11:17 <[exa]> (as in, I completely neglected the ability to actually create the structure, and that's the point.)
21:11:22 <[exa]> ok good, answered. thanks. :D
21:12:37 notzmv joins (~umar@user/notzmv)
21:15:27 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:19:28 j1n37 joins (~j1n37@user/j1n37)
21:19:51 <EvanR> actually creating values or structures? overrated
21:20:00 <EvanR> type level is all you need
21:20:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
21:26:42 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
21:28:34 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
21:28:55 ChaiTRex joins (~ChaiTRex@user/chaitrex)
21:29:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:30:05 j1n37 joins (~j1n37@user/j1n37)
21:31:50 vanishingideal joins (~vanishing@user/vanishingideal)
21:32:20 × machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 252 seconds)
21:34:27 machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net)
21:35:46 × notzmv quits (~umar@user/notzmv) (Ping timeout: 248 seconds)
21:36:06 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
21:37:58 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds)
21:43:02 × dhil quits (~dhil@5.151.29.137) (Ping timeout: 272 seconds)
21:45:41 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
21:46:40 × tromp quits (~textual@2001:1c00:3487:1b00:d0eb:4473:460a:4944) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:46:46 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
21:47:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:47:31 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:48:39 × sprotte24 quits (~sprotte24@p200300d16f383100e04d61c54c10fc45.dip0.t-ipconnect.de) (Quit: Leaving)
21:50:04 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
21:52:21 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
21:53:10 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
21:56:05 j1n37 joins (~j1n37@user/j1n37)
21:57:23 Sgeo joins (~Sgeo@user/sgeo)
22:03:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:03:30 × machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 244 seconds)
22:07:28 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
22:09:46 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
22:12:12 j1n37 joins (~j1n37@user/j1n37)
22:12:40 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
22:13:14 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
22:16:38 j1n37 joins (~j1n37@user/j1n37)
22:18:31 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:22:06 Digitteknohippie is now known as Digit
22:23:53 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
22:26:09 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds)
22:26:27 j1n37- joins (~j1n37@user/j1n37)
22:34:20 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:36:47 emmanuelux joins (~emmanuelu@user/emmanuelux)
22:39:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
22:41:03 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
22:45:24 × perro quits (~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 260 seconds)
22:47:17 perro joins (~aaron@syn-072-191-245-069.res.spectrum.com)
22:50:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:55:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
23:01:16 × j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
23:05:11 j1n37 joins (~j1n37@user/j1n37)
23:05:53 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:12:50 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
23:13:27 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
23:16:41 tekmelt joins (~meltek___@user/Discordian93)
23:16:46 biberu\ joins (~biberu@user/biberu)
23:17:59 j1n37 joins (~j1n37@user/j1n37)
23:18:13 × caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds)
23:19:49 × biberu quits (~biberu@user/biberu) (Ping timeout: 248 seconds)
23:19:49 biberu\ is now known as biberu
23:23:56 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:24:41 tabaqui joins (~tabaqui@167.71.80.236)
23:24:53 × acidjnk quits (~acidjnk@p200300d6e70b66275d7f857c8192c0ec.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
23:26:53 × tabaqui quits (~tabaqui@167.71.80.236) (Client Quit)
23:27:19 tabaqui joins (~tabaqui@167.71.80.236)
23:28:53 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
23:32:24 caubert joins (~caubert@user/caubert)
23:36:28 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
23:39:43 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:40:33 j1n37 joins (~j1n37@user/j1n37)
23:43:42 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: "Até amanhã")
23:44:41 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
23:44:41 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
23:48:45 j1n37 joins (~j1n37@user/j1n37)
23:55:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:59:14 × FANTOM quits (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds)

All times are in UTC on 2025-06-30.