Newest at the top
2024-10-18 06:04:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-18 06:04:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-18 05:59:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 05:48:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-18 05:43:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 05:35:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-18 05:30:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 05:23:54 +0200 | monochrom | (trebla@216.138.220.146) |
2024-10-18 05:20:33 +0200 | monochrom | (trebla@216.138.220.146) (Read error: Connection reset by peer) |
2024-10-18 05:19:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-18 05:18:58 +0200 | pavonia | (~user@user/siracusa) siracusa |
2024-10-18 05:18:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2024-10-18 05:12:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 05:04:53 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
2024-10-18 05:02:23 +0200 | Square2 | (~Square4@user/square) Square |
2024-10-18 05:01:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-18 05:00:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
2024-10-18 04:56:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 04:56:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-18 04:55:49 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
2024-10-18 04:47:49 +0200 | td_ | (~td@i53870913.versanet.de) td_ |
2024-10-18 04:46:13 +0200 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 248 seconds) |
2024-10-18 04:45:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-18 04:40:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 04:38:47 +0200 | <Axman6> | oh no, you can't not undo that! |
2024-10-18 04:31:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-18 04:30:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-18 04:25:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 04:13:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-18 04:09:58 +0200 | <monochrom> | onoes, double negation |
2024-10-18 04:09:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 04:07:44 +0200 | <yahb2> | (not .) . getPredicate . foldMap (Predicate . (not .)) ; :: Foldable t => t (a -> Bool) -> a -> Bool |
2024-10-18 04:07:44 +0200 | <probie> | % :t (not .) . getPredicate . foldMap (Predicate . (not .)) |
2024-10-18 04:07:23 +0200 | <yahb2> | <interactive>:1:7: error: [GHC-83865] ; • Couldn't match type ‘a -> Bool’ with ‘Bool’ ; Expected: Predicate a -> Bool ; Actual: Predicate a -> a -> Bool ; • Probable cause: ‘g... |
2024-10-18 04:07:23 +0200 | <probie> | % :t not . getPredicate . foldMap (Predicate . (not .)) |
2024-10-18 04:06:50 +0200 | <yahb2> | <no output> |
2024-10-18 04:06:50 +0200 | <probie> | % import Data.Functor.Contravariant |
2024-10-18 04:03:31 +0200 | spew | (~spew@155.133.15.235) (Quit: spew) |
2024-10-18 04:02:29 +0200 | rekahsoft | (~rekahsoft@76.69.85.220) (Ping timeout: 252 seconds) |
2024-10-18 03:58:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-18 03:56:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
2024-10-18 03:53:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 03:51:02 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-10-18 03:45:49 +0200 | hgolden_ | (~hgolden@146.70.173.101) (Ping timeout: 260 seconds) |
2024-10-18 03:42:53 +0200 | hgolden__ | (~hgolden@23.162.40.110) hgolden |
2024-10-18 03:42:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-18 03:35:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 03:30:41 +0200 | Guest21 | (~Guest21@2405:9800:b540:8751:51a9:50c7:2a73:9ce0) (Quit: Client closed) |
2024-10-18 03:26:50 +0200 | <Lears> | (if you really like point-free) |
2024-10-18 03:26:18 +0200 | <lambdabot> | Foldable t => t (a -> Bool) -> a -> Bool |