Newest at the top
| 2026-03-03 23:48:51 +0100 | <lambdabot> | 41 |
| 2026-03-03 23:48:50 +0100 | <int-e> | > (iterate (\c f -> f (c succ)) (\c -> 0) !! 42) id |
| 2026-03-03 23:45:19 +0100 | <yin> | int-e: and you responded with that exactly |
| 2026-03-03 23:43:47 +0100 | <yin> | a week ago |
| 2026-03-03 23:43:12 +0100 | <lambdabot> | uncurry g . (id && f) |
| 2026-03-03 23:43:12 +0100 | <yin> | @pl uncurry g . (id && f) |
| 2026-03-03 23:42:59 +0100 | <yin> | i was looking for |
| 2026-03-03 23:42:26 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 2026-03-03 23:41:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 23:41:31 +0100 | <int-e> | also known as <*>... didn't we do this yesterday or two days ago |
| 2026-03-03 23:41:10 +0100 | <lambdabot> | ap |
| 2026-03-03 23:41:10 +0100 | <int-e> | @pl \f g x -> f x (g x) |
| 2026-03-03 23:39:19 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 23:38:29 +0100 | <yin> | is that <*> ? |
| 2026-03-03 23:37:10 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2026-03-03 23:36:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 23:34:36 +0100 | <chromoblob> | parts* |
| 2026-03-03 23:34:32 +0100 | <chromoblob> | or split only the right partd |
| 2026-03-03 23:33:43 +0100 | <chromoblob> | wait, what? `(x y) z = ...`? |
| 2026-03-03 23:33:09 +0100 | <monochrom> | Would be legal Haskell with extra spaces. :) |
| 2026-03-03 23:32:56 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-03 23:32:38 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-03 23:32:17 +0100 | <chromoblob> | it's a reference to the S combinator playing on two unrelated Japanese words |
| 2026-03-03 23:31:12 +0100 | <monochrom> | What does that mean? |
| 2026-03-03 23:30:59 +0100 | <chromoblob> | (ワサ)ビ = (ワビ)(サビ) |
| 2026-03-03 23:27:56 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-03 23:26:52 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-03 23:25:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-03 23:20:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 23:17:01 +0100 | <yin> | https://paste.jrvieira.com/1772576191926 |
| 2026-03-03 23:16:20 +0100 | <yin> | i think |
| 2026-03-03 23:16:18 +0100 | <yin> | welp, i ended up doing the right thing |
| 2026-03-03 23:13:41 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2026-03-03 23:11:12 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-03 23:10:32 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-03 23:10:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-03 23:09:41 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 23:09:15 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Client Quit) |
| 2026-03-03 23:08:46 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 23:03:48 +0100 | aaronm04 | (~user@user/aaronm04) (WeeChat 4.1.0) |
| 2026-03-03 23:02:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 22:52:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 22:47:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 22:46:39 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-03 22:44:31 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 276 seconds) |
| 2026-03-03 22:40:46 +0100 | <yin> | fair enough |
| 2026-03-03 22:39:43 +0100 | <EvanR> | you could imagining at least inheriting the operations on Integer mapped through to your type where defined |
| 2026-03-03 22:39:38 +0100 | <mauke> | no |
| 2026-03-03 22:38:38 +0100 | <yin> | and ignore the warning about missing other Num operations |
| 2026-03-03 22:37:28 +0100 | <mauke> | yes |