Logs on 2025-06-22 (liberachat/#haskell)
| 00:03:33 | × | jespada quits (~jespada@r190-133-49-105.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 00:05:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:05:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:08:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:08:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:09:56 | → | inline joins (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) |
| 00:11:52 | <ski> | % :t let foo :: (Applicative i,Monoid m) => [a -> i m] -> (a -> i m); foo fs x = getAp (foldMap (Ap . ($ x)) fs) in foo |
| 00:11:52 | <yahb2> | let foo :: (Applicative i,Monoid m) => [a -> i m] -> (a -> i m); foo fs x = getAp (foldMap (Ap . ($ x)) fs) in foo ; :: (Applicative i, Monoid m) => [a -> i m] -> a -> i m |
| 00:11:58 | <ski> | % :t let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAny <$> getAp (foldMap (Ap . (Any <$>) . ($ x)) fs) in foo |
| 00:11:58 | <yahb2> | let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAny <$> getAp (foldMap (Ap . (Any <$>) . ($ x)) fs) in foo ; :: Applicative i => [a -> i Bool] -> a -> i Bool |
| 00:12:06 | <ski> | % :t let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAll <$> getAp (foldMap (Ap . (All <$>) . ($ x)) fs) in foo |
| 00:12:06 | <yahb2> | let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAll <$> getAp (foldMap (Ap . (All <$>) . ($ x)) fs) in foo ; :: Applicative i => [a -> i Bool] -> a -> i Bool |
| 00:12:58 | <hololeap> | yeah, I realized I have to choose the Any or All monoids because mempty also needs to be defined |
| 00:14:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 00:14:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:16:33 | → | arahael joins (~arahael@user/arahael) |
| 00:17:54 | → | j1n37- joins (~j1n37@user/j1n37) |
| 00:19:24 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 00:20:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:20:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:21:38 | × | rekahsoft quits (~rekahsoft@174.95.4.83) (Remote host closed the connection) |
| 00:25:29 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 00:25:45 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 00:26:28 | × | inline quits (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 00:26:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:26:42 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 00:26:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:31:51 | × | sprotte24 quits (~sprotte24@p200300d16f085b008008e72f4942b32e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:32:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:32:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:38:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 00:39:01 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:39:23 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 00:44:19 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:44:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:45:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:46:10 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 00:47:22 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 00:48:46 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:50:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:50:36 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:51:13 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 00:52:01 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 00:52:18 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 265 seconds) |
| 00:53:49 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:53:51 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 00:56:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:56:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:02:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:02:46 | → | wbooze joins (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) |
| 01:03:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:05:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:05:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:08:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:09:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:12:28 | × | g00gler quits (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:13:43 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 01:14:29 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:14:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:15:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:15:28 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 01:16:09 | → | gmg joins (~user@user/gehmehgeh) |
| 01:19:45 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 01:19:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 01:20:40 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:20:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:21:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:25:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:26:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:27:04 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 01:27:58 | × | harveypwca quits (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 01:31:08 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 244 seconds) |
| 01:31:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:32:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:34:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:35:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:40:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:40:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:41:52 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:42:05 | → | trickard joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 01:43:00 | → | juri_ joins (~juri@implicitcad.org) |
| 01:44:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:45:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:45:50 | <haskellbridge> | <maerwald> hololeap: without the quotes |
| 01:46:11 | <haskellbridge> | <maerwald> [osp|mypath|] |
| 01:52:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:52:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:55:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:56:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:56:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 01:56:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:00:39 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:00:53 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 02:01:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:02:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:05:03 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 02:05:34 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 02:07:16 | → | notzmv joins (~umar@user/notzmv) |
| 02:07:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:08:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:14:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:14:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:21:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 02:21:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:24:14 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 260 seconds) |
| 02:26:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:26:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:31:48 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 02:32:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 02:32:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:33:13 | → | prdak joins (~Thunderbi@user/prdak) |
| 02:33:59 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 02:34:05 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 02:34:27 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 02:35:43 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 02:36:55 | → | hc joins (~hc@mail.hce.li) |
| 02:37:51 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 02:39:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:39:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:46:43 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 02:48:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:48:54 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:49:24 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:51:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:52:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:53:19 | → | notzmv joins (~umar@user/notzmv) |
| 02:57:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:57:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:57:58 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:58:12 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 03:03:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:03:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:04:43 | × | notzmv quits (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 03:06:33 | → | notzmv joins (~umar@user/notzmv) |
| 03:10:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:10:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:17:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:17:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:19:10 | → | aforemny_ joins (~aforemny@i577B12E7.versanet.de) |
| 03:20:06 | × | aforemny quits (~aforemny@2001:9e8:6ce1:db00:337c:8178:e350:ca70) (Ping timeout: 276 seconds) |
| 03:22:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:23:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:27:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:28:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:29:42 | × | raym quits (~ray@user/raym) (Quit: leaving) |
| 03:30:07 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 03:30:33 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 03:31:35 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:31:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:32:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:37:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 03:38:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:43:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:44:09 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 03:44:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:44:57 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 03:50:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:50:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:55:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 03:58:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:05:03 | → | infinity0 joins (~infinity0@pwned.gg) |
| 04:16:09 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 268 seconds) |
| 04:25:25 | → | notzmv joins (~umar@user/notzmv) |
| 04:44:31 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 04:45:09 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 04:46:35 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:49:32 | <hololeap> | maerwald: ty |
| 04:51:28 | → | Jeanne-Kamikaze joins (~jeannekam@static-23-234-95-217.cust.tzulo.com) |
| 04:51:51 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 04:54:07 | × | Jeanne-Kamikaze quits (~jeannekam@static-23-234-95-217.cust.tzulo.com) (Remote host closed the connection) |
| 04:56:32 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 05:05:32 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:05:45 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 05:13:52 | → | prdak joins (~Thunderbi@user/prdak) |
| 05:15:31 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 05:16:10 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:18:24 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 05:35:31 | → | soverysour joins (~soverysou@84.232.150.229) |
| 05:35:31 | × | soverysour quits (~soverysou@84.232.150.229) (Changing host) |
| 05:35:31 | → | soverysour joins (~soverysou@user/soverysour) |
| 05:36:20 | → | sajenim joins (~sajenim@user/sajenim) |
| 05:42:27 | × | hololeap quits (~quassel@user/hololeap) (Quit: stack overflow) |
| 05:44:03 | → | hololeap joins (~quassel@user/hololeap) |
| 05:47:14 | × | Alyosha quits (~Alyosha@user/Alyosha) (Remote host closed the connection) |
| 05:56:57 | × | notzmv quits (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 05:58:02 | × | hololeap quits (~quassel@user/hololeap) (Quit: odbye) |
| 05:58:15 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 06:05:49 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:36:38 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 06:38:02 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:39:02 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 06:39:34 | → | tromp joins (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
| 06:42:56 | × | tromp quits (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Client Quit) |
| 06:43:36 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 06:45:49 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 06:47:45 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 06:50:05 | → | tromp joins (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
| 06:54:49 | trickard_ | is now known as trickard |
| 06:57:40 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 07:00:01 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:40 | → | caconym7 joins (~caconym@user/caconym) |
| 07:00:53 | → | poscat joins (~poscat@user/poscat) |
| 07:04:16 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
| 07:11:07 | → | raym joins (~ray@user/raym) |
| 07:15:24 | → | prdak joins (~Thunderbi@user/prdak) |
| 07:19:32 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 07:23:08 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 07:24:28 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 07:28:53 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 07:29:05 | × | tromp quits (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:38:36 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 07:39:03 | → | kmein joins (~weechat@user/kmein) |
| 07:43:44 | × | Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 252 seconds) |
| 07:45:02 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:45:16 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 07:53:00 | → | acidjnk joins (~acidjnk@p200300d6e70b6689dca0b3540924cd86.dip0.t-ipconnect.de) |
| 07:55:10 | × | Digit quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 07:56:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 07:57:13 | → | O-matorkama-BiH- joins (~O-matorka@109.175.50.243) |
| 08:02:21 | × | O-matorkama-BiH- quits (~O-matorka@109.175.50.243) (Quit: Client closed) |
| 08:06:34 | → | O-matorkama-BiH- joins (~O-matorka@109.175.50.243) |
| 08:06:47 | × | O-matorkama-BiH- quits (~O-matorka@109.175.50.243) (Write error: Broken pipe) |
| 08:06:57 | → | notzmv joins (~umar@user/notzmv) |
| 08:07:09 | → | My-Bosnian-mom-M joins (~My-Bosnia@109.175.50.243) |
| 08:12:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:12:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:15:21 | trickard_ | is now known as trickard |
| 08:16:35 | × | My-Bosnian-mom-M quits (~My-Bosnia@109.175.50.243) (Quit: Client closed) |
| 08:16:55 | → | My-Bosnian-mom-M joins (~My-Bosnia@109.175.50.243) |
| 08:21:03 | → | Square joins (~Square@user/square) |
| 08:23:02 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:23:09 | × | My-Bosnian-mom-M quits (~My-Bosnia@109.175.50.243) (Quit: Client closed) |
| 08:23:16 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 08:25:49 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 08:38:45 | trickard_ | is now known as trickard |
| 08:44:58 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 08:49:39 | → | Digit joins (~user@user/digit) |
| 08:52:05 | → | pyooque joins (~puke@user/puke) |
| 08:52:05 | × | puke quits (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 08:52:05 | pyooque | is now known as puke |
| 08:52:30 | → | tromp joins (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
| 08:52:32 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 08:52:58 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 09:00:38 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 09:05:21 | → | __monty__ joins (~toonn@user/toonn) |
| 09:12:25 | → | sprotte24 joins (~sprotte24@p200300d16f0e3d00d9d0ec515bdfe1f4.dip0.t-ipconnect.de) |
| 09:17:09 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 09:17:31 | → | califax joins (~califax@user/califx) |
| 09:24:45 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 09:29:57 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:30:11 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 09:35:27 | × | tromp quits (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:52:48 | → | tromp joins (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
| 09:55:21 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 09:55:34 | × | cawfee quits (root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.2) |
| 09:55:59 | → | cawfee joins (root@2001:19f0:4400:79a1::babe) |
| 09:57:28 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:57:42 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 10:05:29 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:07:59 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 10:18:17 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 10:19:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:19:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:23:56 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:24:27 | trickard_ | is now known as trickard |
| 10:27:51 | → | Digitteknohippie joins (~user@user/digit) |
| 10:29:06 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 10:31:44 | → | hseg joins (~gesh@46.120.20.122) |
| 10:34:57 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 248 seconds) |
| 10:47:57 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 10:48:34 | <haskellbridge> | <loonycyborg> What's the proper way of calling one quasiquoter for another? Like if I want to implement my own quasiquoter in terms of osp. |
| 10:48:43 | <haskellbridge> | <loonycyborg> s/for/from |
| 10:53:17 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:57:47 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 11:00:34 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 11:00:58 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:5fd2:26f6:52c7:14ad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:01:42 | → | jespada joins (~jespada@r190-133-49-105.dialup.adsl.anteldata.net.uy) |
| 11:02:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 11:03:01 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:03:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:03:15 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 11:03:16 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:3366:9435:f038:dded) |
| 11:04:10 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 11:04:45 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 11:09:38 | trickard_ | is now known as trickard |
| 11:13:18 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 11:13:25 | × | acidjnk quits (~acidjnk@p200300d6e70b6689dca0b3540924cd86.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 11:17:39 | → | Digit joins (~user@user/digit) |
| 11:17:42 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 11:19:36 | → | prdak joins (~Thunderbi@user/prdak) |
| 11:20:34 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 11:23:25 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 11:23:45 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 11:23:45 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 11:25:31 | Digit | is now known as Digitteknohippie |
| 11:25:36 | Digitteknohippie | is now known as Digit |
| 11:29:49 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 11:30:59 | → | Digit joins (~user@user/digit) |
| 11:38:59 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 11:41:15 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:41:29 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 11:43:12 | → | acidjnk joins (~acidjnk@p200300d6e70b66892d06789958098d16.dip0.t-ipconnect.de) |
| 11:56:22 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 12:13:09 | × | doyougnu quits (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 252 seconds) |
| 12:15:52 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
| 12:20:02 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:20:44 | trickard_ | is now known as trickard |
| 12:22:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 12:23:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:28:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 12:28:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:30:33 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 12:31:15 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 12:37:26 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 12:40:22 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 12:41:33 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 12:44:24 | × | AlexZenon quits (~alzenon@178.34.163.228) (Ping timeout: 252 seconds) |
| 12:49:00 | → | AlexZenon joins (~alzenon@178.34.163.228) |
| 12:55:47 | → | hololeap joins (~quassel@user/hololeap) |
| 12:56:57 | × | tromp quits (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:06:29 | × | acidjnk quits (~acidjnk@p200300d6e70b66892d06789958098d16.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 13:09:45 | → | Digit joins (~user@user/digit) |
| 13:14:30 | Digit | is now known as digitteknohippie |
| 13:16:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
| 13:31:49 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:32:03 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 13:32:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:36:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
| 13:38:14 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 13:39:58 | → | soverysour joins (~soverysou@84.232.150.229) |
| 13:39:59 | × | soverysour quits (~soverysou@84.232.150.229) (Changing host) |
| 13:39:59 | → | soverysour joins (~soverysou@user/soverysour) |
| 13:45:10 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
| 13:55:18 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 13:55:25 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 13:56:09 | → | doyougnu joins (~doyougnu@syn-045-046-168-241.res.spectrum.com) |
| 13:57:14 | → | califax joins (~califax@user/califx) |
| 14:00:37 | × | tromp quits (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:02:35 | trickard_ | is now known as trickard |
| 14:03:27 | × | oxapentane quits (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 14:04:03 | → | oxapentane joins (~oxapentan@user/oxapentane) |
| 14:06:07 | digitteknohippie | is now known as Digit |
| 14:12:39 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 14:14:46 | → | acidjnk joins (~acidjnk@p200300d6e70b6617e17d28f8f1b32aad.dip0.t-ipconnect.de) |
| 14:28:12 | → | EvanR_ joins (~EvanR@user/evanr) |
| 14:28:45 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 14:29:30 | × | rubin55 quits (sid666180@id-666180.ilkley.irccloud.com) (Ping timeout: 260 seconds) |
| 14:29:30 | × | Adeon quits (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 14:30:26 | → | Adeon joins (sid418992@id-418992.lymington.irccloud.com) |
| 14:30:34 | → | rubin55 joins (sid666180@id-666180.ilkley.irccloud.com) |
| 14:30:40 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 14:31:40 | × | wbooze quits (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 14:35:08 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 14:37:03 | → | califax joins (~califax@user/califx) |
| 14:38:53 | → | srazkvt joins (~sarah@user/srazkvt) |
| 14:41:16 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 14:42:15 | → | ol0ck joins (~quassel@user/ol0ck) |
| 14:43:18 | → | prdak joins (~Thunderbi@user/prdak) |
| 14:47:45 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 14:47:53 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:48:07 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 14:49:33 | → | wbooze joins (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) |
| 15:08:01 | → | califax joins (~califax@user/califx) |
| 15:24:42 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:26:47 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 15:28:48 | → | poscat joins (~poscat@user/poscat) |
| 15:33:22 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 15:33:29 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 15:34:05 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 15:34:11 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:35:48 | → | poscat joins (~poscat@user/poscat) |
| 15:37:16 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds) |
| 15:38:42 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 15:47:29 | → | Square joins (~Square@user/square) |
| 15:50:33 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 15:56:42 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 16:09:56 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 16:16:32 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds) |
| 16:16:50 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 16:23:37 | trickard_ | is now known as trickard |
| 16:25:57 | × | cawfee quits (root@2001:19f0:4400:79a1::babe) (Ping timeout: 276 seconds) |
| 16:35:19 | → | prdak joins (~Thunderbi@user/prdak) |
| 16:36:54 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 16:37:42 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 16:38:31 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 16:38:40 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 16:39:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
| 16:40:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:40:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:40:48 | → | califax joins (~califax@user/califx) |
| 16:44:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 16:44:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:49:06 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 16:50:25 | → | califax joins (~califax@user/califx) |
| 16:58:46 | → | soverysour joins (~soverysou@84.232.150.229) |
| 16:58:46 | × | soverysour quits (~soverysou@84.232.150.229) (Changing host) |
| 16:58:46 | → | soverysour joins (~soverysou@user/soverysour) |
| 17:05:31 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 17:06:47 | → | califax joins (~califax@user/califx) |
| 17:07:46 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 17:13:00 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 17:23:19 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 17:24:49 | <geekosaur> | loonycyborg: a quasiquoter is just a function `String -> Q Exp`, so you have to determine the substring to be passed to the other quasiquoter and then you can just call its defining function and integrate the resulting AST into yours |
| 17:25:54 | <haskellbridge> | <loonycyborg> And how to integrate ASTs? with <>? |
| 17:26:27 | <geekosaur> | that part I couldn't tell you as I'm only a novice with TH, sorry |
| 17:27:08 | <monochrom> | Also, "it depends". |
| 17:29:11 | × | acidjnk quits (~acidjnk@p200300d6e70b6617e17d28f8f1b32aad.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 17:31:54 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:33:15 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 17:35:05 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 17:35:53 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 17:38:50 | → | notzmv joins (~umar@user/notzmv) |
| 17:39:43 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 17:41:20 | → | califax joins (~califax@user/califx) |
| 17:41:50 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 17:41:50 | × | notzmv quits (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 17:45:28 | → | notzmv joins (~umar@user/notzmv) |
| 17:54:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 17:54:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:55:42 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:00:44 | → | tavare joins (~tavare@user/tavare) |
| 18:02:23 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:03:59 | → | califax joins (~califax@user/califx) |
| 18:04:34 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 260 seconds) |
| 18:05:22 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 18:05:47 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 18:05:51 | × | califax quits (~califax@user/califx) (Client Quit) |
| 18:07:26 | → | califax joins (~califax@user/califx) |
| 18:11:49 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 18:12:16 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:12:22 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 18:15:31 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:15:48 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 18:15:49 | → | califax joins (~califax@user/califx) |
| 18:18:00 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:26:22 | × | hseg quits (~gesh@46.120.20.122) (Ping timeout: 272 seconds) |
| 18:29:47 | → | acidjnk joins (~acidjnk@p200300d6e70b661750c15e2a18f5d35c.dip0.t-ipconnect.de) |
| 18:33:13 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:34:19 | × | orcus quits (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:36:03 | → | dispater joins (~dispater@user/brprice) |
| 18:36:33 | → | orcus joins (~orcus@user/brprice) |
| 18:41:26 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 18:41:54 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds) |
| 18:46:21 | rvalue- | is now known as rvalue |
| 18:47:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:47:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:48:54 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 19:00:02 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:42 | → | caconym7 joins (~caconym@user/caconym) |
| 19:01:35 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:05:15 | → | prdak joins (~Thunderbi@user/prdak) |
| 19:07:18 | <tomsmeding> | loonycyborg: Well, an AST is a tree; (<>) wouldn't be able to decde for you how to combine them ;) |
| 19:07:20 | <tomsmeding> | *decide |
| 19:07:32 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 265 seconds) |
| 19:09:05 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 19:09:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:10:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:10:19 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 19:14:12 | → | My-Bosnian-Mom-M joins (~My-Bosnia@109.175.54.108) |
| 19:14:51 | → | Guest59 joins (~Guest59@pool-100-36-178-27.washdc.fios.verizon.net) |
| 19:15:38 | × | Guest59 quits (~Guest59@pool-100-36-178-27.washdc.fios.verizon.net) (Client Quit) |
| 19:17:29 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 19:18:13 | <haskellbridge> | <loonycyborg> hmm if original QQ returns AST then another QQ would have to operate on that AST and add own code to it, I don't know TH much yet either. |
| 19:19:05 | <haskellbridge> | <loonycyborg> I only know that you can turn some of your code immediately into AST but I'm not sure how to make it see result of another QQ as a variable inside of it |
| 19:20:30 | <haskellbridge> | <loonycyborg> probably implementing own QQ without using other QQ would be better choice anyway |
| 19:20:56 | <haskellbridge> | <loonycyborg> mainly was thinking of this because QQ reusing other QQ could be more maintainable |
| 19:24:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 19:24:18 | EvanR_ | is now known as EvanR |
| 19:25:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:25:23 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 19:25:46 | <geekosaur> | most of the time I expect that you would graft the new AST as an expression when you would otherwise insert a new AST node of your own? |
| 19:27:19 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:28:39 | <geekosaur> | should be no different from building an expression subnode of your own, except in this case it was built by the other quasiquoter |
| 19:29:20 | <geekosaur> | becomes more complicated if you need to refer to stuff inside of it, of course, but hopefully you don't need to |
| 19:30:52 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:33:04 | <EvanR> | TH is a monad right. Is there some deep theoretical connection between stuff like TH and monads |
| 19:34:19 | → | cawfee joins (root@2001:19f0:4400:79a1::babe) |
| 19:36:07 | → | soverysour joins (~soverysou@84.232.150.229) |
| 19:36:07 | × | soverysour quits (~soverysou@84.232.150.229) (Changing host) |
| 19:36:07 | → | soverysour joins (~soverysou@user/soverysour) |
| 19:37:01 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 19:45:33 | × | cawfee quits (root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.3) |
| 19:45:41 | → | cawfee joins (root@2001:19f0:4400:79a1::babe) |
| 19:46:09 | × | My-Bosnian-Mom-M quits (~My-Bosnia@109.175.54.108) (Quit: Client closed) |
| 19:46:26 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 19:46:48 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 276 seconds) |
| 19:49:18 | <tomsmeding> | EvanR: "TH is a monad" doesn't track; the staged code in TH runs in a monad (called Q) because it needs to do effectful stuff like generating names, querying information from the compiler, etc. |
| 19:49:30 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:49:43 | <tomsmeding> | "TH" is syntax, not really something that can "be" a monad, I think |
| 19:49:54 | <EvanR> | I was thinking of Q |
| 19:50:11 | <Hecate> | Just like James Bond when his gadgets don't work |
| 19:53:04 | <mauke> | .oO( it's a continuum ) |
| 19:59:47 | <Hecate> | 'sup mauke :) |
| 20:00:12 | <mauke> | o/ |
| 20:05:35 | <EvanR> | what's a continuum |
| 20:05:47 | <EvanR> | rather what does "it" refer to |
| 20:06:04 | <EvanR> | the james bond franschise? xD |
| 20:10:06 | <geekosaur> | the Q Continuum from ST:TNG |
| 20:10:20 | <EvanR> | oh |
| 20:14:06 | → | pavonia joins (~user@user/siracusa) |
| 20:14:58 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 20:17:03 | <monochrom> | Q is a monad because it has two effects: Fresh name generation, IO. |
| 20:19:11 | <EvanR> | is that the only reason? |
| 20:19:25 | <EvanR> | if it weren't for that would it just be a monoid or something |
| 20:19:37 | <ski> | (constructing local scopes with variables, in MetaML,MetaOCaml, does not require an effect) |
| 20:19:41 | <EvanR> | or just an expression |
| 20:21:44 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 20:23:29 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 20:26:30 | × | ThePenguin quits (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
| 20:29:00 | → | ThePenguin joins (~ThePengui@cust-95-80-31-242.csbnet.se) |
| 20:34:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:35:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:36:22 | <tomsmeding> | EvanR: these are the monad methods https://hackage.haskell.org/package/template-haskell-2.18.0.0/docs/Language-Haskell-TH-Syntax.html#t:Quasi |
| 20:50:39 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 20:56:23 | × | Square quits (~Square@user/square) (Ping timeout: 268 seconds) |
| 21:07:15 | × | tromp quits (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:15:09 | → | weary-traveler joins (~user@user/user363627) |
| 21:16:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:3d67:6270:e25f:3cc5) |
| 21:50:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:50:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:05:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:05:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:06:38 | → | prdak joins (~Thunderbi@user/prdak) |
| 22:06:56 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 22:10:49 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 22:11:40 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 22:13:21 | × | dispater quits (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:13:22 | × | orcus quits (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:15:05 | → | dispater joins (~dispater@user/brprice) |
| 22:15:34 | → | orcus joins (~orcus@user/brprice) |
| 22:18:24 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds) |
| 22:19:23 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 22:32:49 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 22:33:57 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 22:33:59 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:46:50 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 22:46:50 | × | haskellbridge quits (~hackager@syn-096-028-224-214.res.spectrum.com) (Read error: Connection reset by peer) |
| 22:47:18 | → | haskellbridge joins (~hackager@syn-096-028-224-214.res.spectrum.com) |
| 22:47:18 | ChanServ | sets mode +v haskellbridge |
| 22:49:47 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 22:49:49 | × | jespada quits (~jespada@r190-133-49-105.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 22:51:31 | → | jespada joins (~jespada@r167-61-33-87.dialup.adsl.anteldata.net.uy) |
| 22:52:42 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 22:52:46 | → | tmciver_ joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 22:54:16 | × | tromp quits (~textual@2001:1c00:3487:1b00:3d67:6270:e25f:3cc5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:57:56 | × | wbooze quits (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 23:00:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:01:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:02:08 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 23:02:45 | × | acidjnk quits (~acidjnk@p200300d6e70b661750c15e2a18f5d35c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:08:43 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 23:17:01 | × | sprotte24 quits (~sprotte24@p200300d16f0e3d00d9d0ec515bdfe1f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 23:26:04 | → | wbooze joins (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) |
| 23:35:23 | → | ystael joins (~ystael@user/ystael) |
| 23:39:34 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 23:41:33 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 23:43:19 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 23:48:53 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
All times are in UTC on 2025-06-22.