Newest at the top
| 2025-06-22 02:26:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 02:26:42 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
| 2025-06-22 02:26:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 02:26:28 +0200 | inline | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-06-22 02:25:45 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 2025-06-22 02:25:29 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
| 2025-06-22 02:21:38 +0200 | rekahsoft | (~rekahsoft@174.95.4.83) (Remote host closed the connection) |
| 2025-06-22 02:20:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 02:20:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 02:19:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-06-22 02:17:54 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-22 02:16:33 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-06-22 02:14:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 02:14:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-22 02:12:58 +0200 | <hololeap> | yeah, I realized I have to choose the Any or All monoids because mempty also needs to be defined |
| 2025-06-22 02:12:06 +0200 | <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 |
| 2025-06-22 02:12:06 +0200 | <ski> | % :t let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAll <$> getAp (foldMap (Ap . (All <$>) . ($ x)) fs) in foo |
| 2025-06-22 02:11:58 +0200 | <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 |
| 2025-06-22 02:11:58 +0200 | <ski> | % :t let foo :: Applicative i => [a -> i Bool] -> (a -> i Bool); foo fs x = getAny <$> getAp (foldMap (Ap . (Any <$>) . ($ x)) fs) in foo |
| 2025-06-22 02:11:52 +0200 | <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 |
| 2025-06-22 02:11:52 +0200 | <ski> | % :t let foo :: (Applicative i,Monoid m) => [a -> i m] -> (a -> i m); foo fs x = getAp (foldMap (Ap . ($ x)) fs) in foo |
| 2025-06-22 02:09:56 +0200 | inline | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline |
| 2025-06-22 02:08:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 02:08:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 02:05:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 02:05:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 02:03:33 +0200 | jespada | (~jespada@r190-133-49-105.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-06-22 01:58:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:58:23 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 268 seconds) |
| 2025-06-22 01:58:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 01:53:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:53:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 01:52:10 +0200 | trickard_ | trickard |
| 2025-06-22 01:51:59 +0200 | <hololeap> | hmm... (Bool -> Bool -> Bool) -> [a -> m Bool] -> a -> m Bool |
| 2025-06-22 01:47:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:47:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-22 01:44:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-22 01:43:28 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-06-22 01:42:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2025-06-22 01:42:07 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-06-22 01:41:48 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-06-22 01:39:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:38:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 01:38:02 +0200 | sprotte24 | (~sprotte24@p200300d16f085b008008e72f4942b32e.dip0.t-ipconnect.de) |
| 2025-06-22 01:37:47 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-22 01:33:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 01:33:31 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-22 01:33:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-22 01:27:45 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-22 01:27:41 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |