Logs: liberachat/#haskell
| 2025-08-24 07:55:24 | <Guest84> | @pl fun2 1 = 0 |
| 2025-08-24 07:55:24 | <lambdabot> | fun2 = const 0 |
| 2025-08-24 07:55:24 | <Guest84> | fun2 n |
| 2025-08-24 07:55:25 | <Guest84> | | even n = n + fun2 (n `div` 2) |
| 2025-08-24 07:55:25 | <Guest84> | | otherwise = fun2 (3 * n + 1) |
| 2025-08-24 07:56:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 07:57:49 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2025-08-24 07:58:19 | <Guest84> | @pl fun1' xs = product $ map (subtract 2) (filter even xs) |
| 2025-08-24 07:58:19 | <lambdabot> | fun1' = product . map (subtract 2) . filter even |
| 2025-08-24 07:58:50 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-08-24 07:59:12 | × | Guest84 quits (~Guest94@203.129.50.252) (Quit: Client closed) |
| 2025-08-24 08:01:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 08:01:20 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-08-24 08:02:07 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-24 08:02:21 | → | Square2 joins (~Square@user/square) |
| 2025-08-24 08:05:33 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-08-24 08:08:28 | → | Everything joins (~Everythin@178-133-133-18.mobile.vf-ua.net) |
| 2025-08-24 08:11:23 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-08-24 08:12:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 08:13:14 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-08-24 08:16:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 08:18:29 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-08-24 08:23:13 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-08-24 08:25:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
| 2025-08-24 08:27:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 08:28:16 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-08-24 08:30:06 | → | acidjnk joins (~acidjnk@p200300d6e717199218c92204bd27247f.dip0.t-ipconnect.de) |
| 2025-08-24 08:31:08 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-08-24 08:31:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 08:43:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 08:46:18 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2025-08-24 08:47:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 08:47:56 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-08-24 08:58:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 09:02:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-24 09:12:28 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp) |
| 2025-08-24 09:12:46 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-08-24 09:13:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 09:17:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 09:22:43 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-08-24 09:26:09 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-08-24 09:28:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 09:29:50 | × | Dykam quits (Dykam@dykam.nl) (Server closed connection) |
| 2025-08-24 09:30:00 | → | Dykam joins (Dykam@dykam.nl) |
| 2025-08-24 09:33:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 09:33:52 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-08-24 09:43:45 | × | Guest32 quits (~Guest32@2001:2d8:708e:9c40:e4f3:3a81:b203:f1a7) (Ping timeout: 250 seconds) |
| 2025-08-24 09:44:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 09:48:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-24 09:49:33 | × | tromp quits (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-24 09:50:34 | × | acro quits (~acro@user/acro) (Server closed connection) |
| 2025-08-24 09:50:51 | → | acro joins (~acro@user/acro) |
| 2025-08-24 09:54:38 | × | Everything quits (~Everythin@178-133-133-18.mobile.vf-ua.net) (Quit: leaving) |
| 2025-08-24 09:59:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 10:06:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 10:09:18 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-08-24 10:12:13 | → | Guest54 joins (~Guest94@203.129.50.252) |
| 2025-08-24 10:12:13 | <Guest54> | @pl sieveSundaram :: Integer -> [Integer] |
| 2025-08-24 10:12:13 | <Guest54> | sieveSundaram n = map (\x -> 2 * x + 1) [1 .. n] \\ filter (< 2 * (n + 1)) [i + j + 2 * i * j | (i, j) <- [(x, y) | x <- [1 .. n], y <- [1 .. n]]] |
| 2025-08-24 10:12:13 | <lambdabot> | (line 1, column 28): |
| 2025-08-24 10:12:13 | <lambdabot> | unexpected '>' |
| 2025-08-24 10:12:13 | <lambdabot> | expecting operator |
| 2025-08-24 10:12:22 | <Guest54> | @pl sieveSundaram n = map (\x -> 2 * x + 1) [1 .. n] \\ filter (< 2 * (n + 1)) [i + j + 2 * i * j | (i, j) <- [(x, y) | x <- [1 .. n], y <- [1 .. n]]] |
| 2025-08-24 10:12:23 | <lambdabot> | (line 1, column 50): |
| 2025-08-24 10:12:23 | <lambdabot> | unexpected '\\' |
| 2025-08-24 10:12:23 | <lambdabot> | expecting variable, "(", operator or end of input |
| 2025-08-24 10:12:41 | <Guest54> | @pl sieveSundaram n = map (\x -> 2 * x + 1) [1 .. n] || filter (< 2 * (n + 1)) [i + j + 2 * i * j | (i, j) <- [(x, y) | x <- [1 .. n], y <- [1 .. n]]] |
| 2025-08-24 10:12:42 | <lambdabot> | sieveSundaram = ap ((||) . map ((1 +) . (2 *)) . enumFromTo 1) (ap (filter . flip (<) . (2 *) . (1 +)) (return . ((i + j) +) . ((2 * i) *) . ((j | (i, j)) <-) . ap ((:) . (((x, y) | x) <-) . |
| 2025-08-24 10:12:42 | <lambdabot> | enumFromTo 1) (return . (y <-) . enumFromTo 1))) |
| 2025-08-24 10:13:14 | → | tromp joins (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
| 2025-08-24 10:14:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 10:16:22 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-08-24 10:17:33 | × | Guest54 quits (~Guest94@203.129.50.252) (Ping timeout: 250 seconds) |
| 2025-08-24 10:18:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 10:28:40 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds) |
| 2025-08-24 10:29:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 10:32:25 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Server closed connection) |
| 2025-08-24 10:32:48 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 2025-08-24 10:34:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-24 10:36:09 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-24 10:36:58 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-24 10:44:15 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-08-24 10:45:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 10:49:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-24 11:00:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 11:03:12 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2025-08-24 11:04:28 | → | cyphase joins (~cyphase@user/cyphase) |
| 2025-08-24 11:04:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-24 11:09:37 | × | m_a_r_k quits (~m_a_r_k@user/m-a-r-k:45929) (Server closed connection) |
| 2025-08-24 11:09:52 | → | m_a_r_k joins (~m_a_r_k@user/m-a-r-k:45929) |
| 2025-08-24 11:10:18 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 2025-08-24 11:15:14 | × | jkoshy quits (99b9359beb@user/jkoshy) (Server closed connection) |
| 2025-08-24 11:15:22 | → | jkoshy joins (99b9359beb@user/jkoshy) |
| 2025-08-24 11:15:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-24 11:17:22 | × | bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (Server closed connection) |
| 2025-08-24 11:20:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-24 11:22:55 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-08-24 11:24:48 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-24 11:24:52 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-08-24 11:26:18 | × | Lord_of_Life_ quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
All times are in UTC.