Newest at the top
| 2026-04-01 09:34:17 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-01 09:29:43 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-01 09:24:34 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-04-01 09:21:46 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2026-04-01 09:21:42 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-01 09:20:07 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-01 09:20:07 +0200 | arandombit | (~arandombi@2a02:2455:8656:7100:d0b1:e9e0:7ad6:1750) (Changing host) |
| 2026-04-01 09:20:07 +0200 | arandombit | (~arandombi@2a02:2455:8656:7100:d0b1:e9e0:7ad6:1750) |
| 2026-04-01 09:17:22 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-01 09:15:53 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 2026-04-01 09:15:22 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-01 09:13:13 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2026-04-01 09:06:25 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-04-01 09:06:25 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-01 09:02:06 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-01 09:01:48 +0200 | mistivia | (~mistivia@user/mistivia) (Remote host closed the connection) |
| 2026-04-01 09:01:28 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 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) |