Newest at the top
| 2026-04-01 09:00:34 +0200 | <lambdabot> | (?sep::[a]) => [([a], [a])] -> [[a]] |
| 2026-04-01 09:00:33 +0200 | <mauke> | :t map (uncurry ((. (?sep ++)) . (++))) |
| 2026-04-01 08:59:47 +0200 | <lambdabot> | uncurry ((. (sep ++)) . (++)) |
| 2026-04-01 08:59:47 +0200 | <mauke> | @pl uncurry (\x y -> x ++ sep ++ y) |
| 2026-04-01 08:59:31 +0200 | <lambdabot> | (. (sep ++)) . (++) |
| 2026-04-01 08:59:31 +0200 | <mauke> | @pl \x y -> x ++ sep ++ y |
| 2026-04-01 08:54:10 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-01 08:49:47 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-01 08:44:06 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-04-01 08:39:06 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-01 08:34:23 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-01 08:30:38 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-01 08:29:03 +0200 | <gentauro> | :| |
| 2026-04-01 08:28:59 +0200 | <lambdabot> | f = map . (`ap` snd) . (. fst) . flip ((.) . (++)) . (++) |
| 2026-04-01 08:28:59 +0200 | <gentauro> | @pl f sep xs = map (\ (x,y) -> x ++ sep ++ y) xs |
| 2026-04-01 08:28:15 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-01 08:26:06 +0200 | <gentauro> | nice |
| 2026-04-01 08:25:56 +0200 | <lambdabot> | f = map (uncurry (+)) |
| 2026-04-01 08:25:55 +0200 | <gentauro> | @pl f xs = map (\ (x,y) -> x + y) xs |
| 2026-04-01 08:25:49 +0200 | <lambdabot> | expecting variable, "(", operator, ";" or "in" |
| 2026-04-01 08:25:49 +0200 | <lambdabot> | unexpected end of input |
| 2026-04-01 08:25:49 +0200 | <lambdabot> | (line 1, column 37): |
| 2026-04-01 08:25:49 +0200 | <gentauro> | @pl let f xs = map (\ (x,y) -> x + y) xs |
| 2026-04-01 08:25:23 +0200 | <lambdabot> | [1] |
| 2026-04-01 08:25:22 +0200 | <gentauro> | @pl map (\ (x,y) -> x + y) [(0,1)] |
| 2026-04-01 08:23:14 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-01 08:16:22 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-01 08:14:20 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-04-01 08:14:02 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-04-01 08:13:59 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-01 08:09:19 +0200 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-01 08:07:42 +0200 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-01 08:05:24 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-01 08:04:25 +0200 | qqq | (~qqq@185.54.20.216) (Read error: Connection reset by peer) |
| 2026-04-01 08:01:00 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-01 07:56:52 +0200 | qqq | (~qqq@185.54.20.216) |
| 2026-04-01 07:56:24 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-01 07:54:58 +0200 | squid64 | (~user@fsf/member/squid64) (Ping timeout: 248 seconds) |
| 2026-04-01 07:53:27 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-01 07:50:51 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-01 07:46:59 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-04-01 07:46:20 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-01 07:44:08 +0200 | <dminuoso> | tomsmeding: Aha. What exactly were we talking about back then? :D |
| 2026-04-01 07:43:45 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-01 07:42:19 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-04-01 07:38:49 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-01 07:35:43 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-01 07:31:52 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-01 07:30:55 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-01 07:27:14 +0200 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 248 seconds) |