Newest at the top
| 2024-12-27 15:37:56 +0100 | <ncf> | traverse pure = pure |
| 2024-12-27 15:37:53 +0100 | <ncf> | traverse (f . g) = traverse f . fmap g |
| 2024-12-27 15:37:30 +0100 | <hellwolf> | sorry, I get it. But I won't be able to explain this to beginners. |
| 2024-12-27 15:37:08 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-27 15:37:04 +0100 | <lambdabot> | Identity [Just 1,Just 2,Just 3,Just 4] |
| 2024-12-27 15:37:02 +0100 | <hellwolf> | > traverse (pure . Just) [1..4] :: Identity [Maybe Int] |
| 2024-12-27 15:36:36 +0100 | <lambdabot> | <IO [Maybe Int]> |
| 2024-12-27 15:36:29 +0100 | <hellwolf> | > traverse (pure . Just) [1..4] :: IO [Maybe Int] |
| 2024-12-27 15:32:42 +0100 | <lambdabot> | Just [1,2,3,4] |
| 2024-12-27 15:32:41 +0100 | <hellwolf> | > traverse Just [1..4] |
| 2024-12-27 15:32:27 +0100 | <lambdabot> | prevents the constraint ‘(Show |
| 2024-12-27 15:32:27 +0100 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M826968458127... |
| 2024-12-27 15:32:27 +0100 | <lambdabot> | error: |
| 2024-12-27 15:32:25 +0100 | <hellwolf> | > traverse (pure . Just) [1..4] |
| 2024-12-27 15:29:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 15:28:14 +0100 | hueso | (~root@user/hueso) (Ping timeout: 260 seconds) |
| 2024-12-27 15:25:20 +0100 | visilii | (~visilii@213.24.125.237) |
| 2024-12-27 15:25:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 15:24:29 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) (Remote host closed the connection) |
| 2024-12-27 15:22:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-27 15:17:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 15:16:40 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) ionut_f |
| 2024-12-27 15:15:13 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2024-12-27 15:09:47 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2024-12-27 15:09:24 +0100 | urdh | (~urdh@user/urdh) (Quit: Boom!) |
| 2024-12-27 15:06:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-27 15:02:12 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-27 15:02:01 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-12-27 15:01:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-27 14:59:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 14:57:05 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-27 14:55:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-27 14:53:38 +0100 | Digit | (~user@user/digit) (Quit: i'm getting off this merry go round! (plexiglass. i'll brb).) |
| 2024-12-27 14:49:37 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:8dba:5fff:72fd:7f7d) iamsleepy |
| 2024-12-27 14:49:07 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:5051:865c:88f4:3d8) (Read error: Connection reset by peer) |
| 2024-12-27 14:48:37 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-27 14:47:18 +0100 | hueso_ | (~root@user/hueso) (Quit: hueso_) |
| 2024-12-27 14:46:14 +0100 | alp | (~alp@2001:861:8ca0:4940:8d4c:5a22:6b11:16da) |
| 2024-12-27 14:45:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 14:41:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 14:40:04 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-27 14:34:11 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2024-12-27 14:33:53 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:8cfd:72ac:b95:b12e) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-12-27 14:31:16 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-12-27 14:28:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 14:24:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 14:16:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 14:12:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 14:04:41 +0100 | aerphanas | (~aerphanas@user/aerphanas) (Quit: WeeChat 3.8) |
| 2024-12-27 14:01:40 +0100 | ubert | (~Thunderbi@p200300ecdf117c4260f23471b0d1d1bb.dip0.t-ipconnect.de) ubert |