Logs: liberachat/#haskell
| 2026-04-01 02:15:04 | → | mistivia joins (~mistivia@user/mistivia) |
| 2026-04-01 02:16:24 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 268 seconds) |
| 2026-04-01 02:18:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-01 02:29:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 02:34:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-01 02:36:23 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-01 02:40:22 | × | terrorjack quits (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-01 02:41:31 | → | terrorjack joins (~terrorjac@2a01:4f8:271:2d98::2) |
| 2026-04-01 02:43:24 | × | sp1ff` quits (~user@2601:1c2:4080:14c0::ace8) (Read error: Connection reset by peer) |
| 2026-04-01 02:45:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 02:49:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-01 02:59:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 03:04:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-01 03:14:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 03:19:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-01 03:30:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 03:34:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-01 03:44:50 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2026-04-01 03:45:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 03:50:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-01 03:52:41 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 248 seconds) |
| 2026-04-01 04:00:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 04:05:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-01 04:05:56 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-01 04:16:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 04:20:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-01 04:26:34 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-04-01 04:31:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 04:36:17 | → | michalz joins (~michalz@185.246.207.203) |
| 2026-04-01 04:36:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-01 04:47:20 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-01 04:51:34 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-04-01 04:52:57 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-01 04:53:01 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-01 04:57:29 | → | Googulator59 joins (~Googulato@2a01-036d-0106-0364-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) |
| 2026-04-01 04:58:07 | × | Googulator quits (~Googulato@2a01-036d-0106-0364-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-04-01 05:00:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 05:04:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-01 05:05:54 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Ping timeout: 248 seconds) |
| 2026-04-01 05:08:27 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2026-04-01 05:09:50 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-01 05:15:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 05:19:09 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-01 05:20:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-01 05:20:44 | × | synchromesh quits (~john@2406:5a00:2412:2c00:a854:469:3f22:54ad) (Read error: Connection reset by peer) |
| 2026-04-01 05:21:58 | → | synchromesh joins (~john@2406:5a00:2412:2c00:a854:469:3f22:54ad) |
| 2026-04-01 05:27:14 | × | Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 248 seconds) |
| 2026-04-01 05:30:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 05:31:52 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-01 05:35:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-01 05:38:49 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-01 05:42:19 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-04-01 05:43:45 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-01 05:44:08 | <dminuoso> | tomsmeding: Aha. What exactly were we talking about back then? :D |
| 2026-04-01 05:46:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 05:46:59 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-04-01 05:50:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-01 05:53:27 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-01 05:54:58 | × | squid64 quits (~user@fsf/member/squid64) (Ping timeout: 248 seconds) |
| 2026-04-01 05:56:24 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-01 05:56:52 | → | qqq joins (~qqq@185.54.20.216) |
| 2026-04-01 06:01:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 06:04:25 | × | qqq quits (~qqq@185.54.20.216) (Read error: Connection reset by peer) |
| 2026-04-01 06:05:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-01 06:07:42 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 2026-04-01 06:09:19 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-01 06:13:59 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-01 06:14:02 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-04-01 06:14:20 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2026-04-01 06:16:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 06:23:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-01 06:25:22 | <gentauro> | @pl map (\ (x,y) -> x + y) [(0,1)] |
| 2026-04-01 06:25:23 | <lambdabot> | [1] |
| 2026-04-01 06:25:49 | <gentauro> | @pl let f xs = map (\ (x,y) -> x + y) xs |
| 2026-04-01 06:25:49 | <lambdabot> | (line 1, column 37): |
| 2026-04-01 06:25:49 | <lambdabot> | unexpected end of input |
| 2026-04-01 06:25:49 | <lambdabot> | expecting variable, "(", operator, ";" or "in" |
| 2026-04-01 06:25:55 | <gentauro> | @pl f xs = map (\ (x,y) -> x + y) xs |
| 2026-04-01 06:25:56 | <lambdabot> | f = map (uncurry (+)) |
| 2026-04-01 06:26:06 | <gentauro> | nice |
| 2026-04-01 06:28:15 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-01 06:28:59 | <gentauro> | @pl f sep xs = map (\ (x,y) -> x ++ sep ++ y) xs |
| 2026-04-01 06:28:59 | <lambdabot> | f = map . (`ap` snd) . (. fst) . flip ((.) . (++)) . (++) |
| 2026-04-01 06:29:03 | <gentauro> | :| |
| 2026-04-01 06:30:38 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-04-01 06:34:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 06:39:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-01 06:44:06 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2026-04-01 06:49:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 06:54:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-01 06:59:31 | <mauke> | @pl \x y -> x ++ sep ++ y |
| 2026-04-01 06:59:31 | <lambdabot> | (. (sep ++)) . (++) |
| 2026-04-01 06:59:47 | <mauke> | @pl uncurry (\x y -> x ++ sep ++ y) |
| 2026-04-01 06:59:47 | <lambdabot> | uncurry ((. (sep ++)) . (++)) |
| 2026-04-01 07:00:33 | <mauke> | :t map (uncurry ((. (?sep ++)) . (++))) |
| 2026-04-01 07:00:34 | <lambdabot> | (?sep::[a]) => [([a], [a])] -> [[a]] |
| 2026-04-01 07:01:28 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-01 07:01:48 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 2026-04-01 07:02:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-01 07:06:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
All times are in UTC.