Newest at the top
| 2025-01-18 10:01:03 +0100 | it_ | (~quassel@game-crew.ch) (Client Quit) |
| 2025-01-18 10:00:59 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:59:54 +0100 | it_ | (~quassel@game-crew.ch) K4su |
| 2025-01-18 09:59:29 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:59:21 +0100 | it_ | (~quassel@game-crew.ch) (Quit: ,o>) |
| 2025-01-18 09:59:02 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-01-18 09:58:50 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:57:24 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:57:14 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:55:57 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:55:45 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:54:21 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:53:53 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:53:35 +0100 | <haskellbridge> | <Bowuigi> You can't see what it desugars to, but you can build an intuition of what it does anyway |
| 2025-01-18 09:53:03 +0100 | <haskellbridge> | <Bowuigi> I guess you can just write the list comprehension in ghci and see if it works, along with the result |
| 2025-01-18 09:52:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-18 09:52:31 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:52:31 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:51:05 +0100 | Guest9464 | (~v@anomalous.eu) (Remote host closed the connection) |
| 2025-01-18 09:51:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-18 09:50:17 +0100 | Guest9464 | (~v@anomalous.eu) |
| 2025-01-18 09:48:51 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:46:08 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:44:51 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:44:31 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:44:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-18 09:43:08 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:42:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-18 09:42:08 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:40:51 +0100 | it_ | (~quassel@game-crew.ch) K4su |
| 2025-01-18 09:40:49 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:40:34 +0100 | it_ | (~quassel@game-crew.ch) (Client Quit) |
| 2025-01-18 09:40:13 +0100 | <tomsmeding> | '@undo' is a plugin in lambdabot, so it's rather hard to run locally |
| 2025-01-18 09:39:56 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:39:43 +0100 | <chiselfuse> | i want run code localloy |
| 2025-01-18 09:39:22 +0100 | <lambdabot> | <unknown>.hs:1:1:Parse error: : |
| 2025-01-18 09:39:22 +0100 | <chiselfuse> | @undo :version |
| 2025-01-18 09:39:07 +0100 | <tomsmeding> | you can open a private chat with lambdabot |
| 2025-01-18 09:39:00 +0100 | it_ | (~quassel@game-crew.ch) K4su |
| 2025-01-18 09:38:55 +0100 | <chiselfuse> | can i use @undo on my computer |
| 2025-01-18 09:38:48 +0100 | <lambdabot> | concatMap (\ x -> if x /= 13 then if x /= 15 then [x] else [] else []) [10 .. 20] |
| 2025-01-18 09:38:47 +0100 | <chiselfuse> | @undo [ x | x <- [10..20], x /=13, x /= 15 ] |
| 2025-01-18 09:38:40 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:38:10 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-18 09:37:41 +0100 | <Leary> | Here, you can see that `x` is used before it's brought into scope. |
| 2025-01-18 09:37:30 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:37:27 +0100 | <Leary> | It desugars the list comprehension so you can see what it means. |
| 2025-01-18 09:37:27 +0100 | <tomsmeding> | converts a haskell expression into one using more basic syntax |
| 2025-01-18 09:37:10 +0100 | <chiselfuse> | what's @undo? |
| 2025-01-18 09:36:45 +0100 | <lambdabot> | if x /= 13 then concatMap (\ x -> if x /= 15 then [x] else []) [10 .. 20] else [] |