Newest at the top
| 2026-02-06 09:00:14 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-06 08:56:48 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-06 08:56:37 +0100 | divlamir_ | divlamir |
| 2026-02-06 08:56:37 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2026-02-06 08:54:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-06 08:54:19 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-02-06 08:51:43 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e596:c016:94e2:5361) |
| 2026-02-06 08:50:31 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-06 08:50:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 08:48:33 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-06 08:39:46 +0100 | trickard_ | trickard |
| 2026-02-06 08:38:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 08:35:22 +0100 | <lambdabot> | Functor f => a -> f b -> f (a, b) |
| 2026-02-06 08:35:21 +0100 | <ski> | @type let strength :: Functor f => a -> f b -> f (a,b); strength = fmap . (,) in strength |
| 2026-02-06 08:35:14 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `@' |
| 2026-02-06 08:35:13 +0100 | <ski> | > @type let strength :: Functor f => a -> f b -> f (a,b); strength = fmap . (,) in strength -- the other version |
| 2026-02-06 08:34:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 08:33:08 +0100 | <ski> | energizer : it's a version of "functorial strength" |
| 2026-02-06 08:32:05 +0100 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-06 08:30:19 +0100 | CryptLab | (~NSA@2a0d:5600:6:108::2e) (Ping timeout: 246 seconds) |
| 2026-02-06 08:23:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-06 08:18:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 08:11:46 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-06 08:07:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-06 08:04:52 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-06 08:02:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 08:01:58 +0100 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst |
| 2026-02-06 08:01:37 +0100 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Quit: bye) |
| 2026-02-06 07:59:17 +0100 | <hololeap> | not as catchy of a name! |
| 2026-02-06 07:59:02 +0100 | <yahb2> | flip $ fmap . flip ($) :: Functor f => f (a -> b) -> a -> f b |
| 2026-02-06 07:59:02 +0100 | <hololeap> | % :t flip $ fmap . flip ($) |
| 2026-02-06 07:55:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-06 07:51:57 +0100 | <ncf> | also that |
| 2026-02-06 07:51:52 +0100 | <energizer> | ncf: thanks |
| 2026-02-06 07:51:50 +0100 | <lambdabot> | Relude.Functor.Fmap flap :: Functor f => f (a -> b) -> a -> f b |
| 2026-02-06 07:51:50 +0100 | <lambdabot> | Control.Lens.Operators (??) :: Functor f => f (a -> b) -> a -> f b |
| 2026-02-06 07:51:50 +0100 | <lambdabot> | Control.Lens.Lens (??) :: Functor f => f (a -> b) -> a -> f b |
| 2026-02-06 07:51:49 +0100 | <Leary> | @hoogle f (a -> b) -> a -> f b |
| 2026-02-06 07:51:30 +0100 | <ncf> | energizer: https://hackage-content.haskell.org/package/relude-1.2.2.2/docs/Relude-Functor-Fmap.html#v:flap |
| 2026-02-06 07:50:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 07:50:03 +0100 | <energizer> | what's this called: f (a -> b) -> a -> f b |
| 2026-02-06 07:42:56 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-06 07:42:40 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-06 07:41:51 +0100 | redshuffle | (~quassel@45.43.70.75) |
| 2026-02-06 07:40:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-06 07:35:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 07:33:06 +0100 | redshuffle | (~quassel@45.43.70.75) (Ping timeout: 256 seconds) |
| 2026-02-06 07:30:51 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-02-06 07:28:56 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-06 07:28:36 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |