Logs: liberachat/#haskell
| 2026-02-06 04:31:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 04:33:05 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 2026-02-06 04:36:03 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-06 04:36:17 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-06 04:38:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-06 04:46:01 | → | werneta joins (~werneta@71.83.160.242) |
| 2026-02-06 04:49:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 04:51:43 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 240 seconds) |
| 2026-02-06 04:54:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-06 04:55:04 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2026-02-06 04:55:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 04:56:15 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-06 04:56:29 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-06 05:00:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-06 05:04:29 | → | wickedjargon joins (~user@2605:8d80:5431:105d:511d:c599:5292:316b) |
| 2026-02-06 05:04:43 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-06 05:11:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 05:16:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-06 05:18:13 | × | Buliarous quits (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2026-02-06 05:23:40 | → | spew joins (~spew@user/spew) |
| 2026-02-06 05:26:18 | × | rekahsoft quits (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 2026-02-06 05:27:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 05:31:13 | × | cyphase quits (~cyphase@user/cyphase) (Remote host closed the connection) |
| 2026-02-06 05:31:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 05:35:43 | × | mange quits (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-02-06 05:42:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 05:47:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 05:47:48 | → | cyphase joins (~cyphase@user/cyphase) |
| 2026-02-06 05:52:35 | × | wickedjargon quits (~user@2605:8d80:5431:105d:511d:c599:5292:316b) (Remote host closed the connection) |
| 2026-02-06 05:53:30 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-06 05:58:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 06:03:57 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-06 06:05:25 | × | Pixi quits (~Pixi@user/pixi) (Quit: Leaving) |
| 2026-02-06 06:06:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-06 06:12:04 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2026-02-06 06:12:08 | → | michalz joins (~michalz@185.246.207.197) |
| 2026-02-06 06:15:15 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2026-02-06 06:15:15 | divlamir_ | is now known as divlamir |
| 2026-02-06 06:17:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 06:18:19 | → | Pixi joins (~Pixi@user/pixi) |
| 2026-02-06 06:19:08 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-06 06:19:57 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2026-02-06 06:24:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-06 06:28:36 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-06 06:28:56 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-06 06:30:51 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-02-06 06:33:06 | × | redshuffle quits (~quassel@45.43.70.75) (Ping timeout: 256 seconds) |
| 2026-02-06 06:35:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 06:40:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-06 06:41:51 | → | redshuffle joins (~quassel@45.43.70.75) |
| 2026-02-06 06:42:40 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-06 06:42:56 | → | Googulator joins (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-06 06:50:03 | <energizer> | what's this called: f (a -> b) -> a -> f b |
| 2026-02-06 06:50:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 06:51:30 | <ncf> | energizer: https://hackage-content.haskell.org/package/relude-1.2.2.2/docs/Relude-Functor-Fmap.html#v:flap |
| 2026-02-06 06:51:49 | <Leary> | @hoogle f (a -> b) -> a -> f b |
| 2026-02-06 06:51:50 | <lambdabot> | Control.Lens.Lens (??) :: Functor f => f (a -> b) -> a -> f b |
| 2026-02-06 06:51:50 | <lambdabot> | Control.Lens.Operators (??) :: Functor f => f (a -> b) -> a -> f b |
| 2026-02-06 06:51:50 | <lambdabot> | Relude.Functor.Fmap flap :: Functor f => f (a -> b) -> a -> f b |
| 2026-02-06 06:51:52 | <energizer> | ncf: thanks |
| 2026-02-06 06:51:57 | <ncf> | also that |
| 2026-02-06 06:55:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-06 06:59:02 | <hololeap> | % :t flip $ fmap . flip ($) |
| 2026-02-06 06:59:02 | <yahb2> | flip $ fmap . flip ($) :: Functor f => f (a -> b) -> a -> f b |
| 2026-02-06 06:59:17 | <hololeap> | not as catchy of a name! |
| 2026-02-06 07:01:37 | × | krjst quits (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Quit: bye) |
| 2026-02-06 07:01:58 | → | krjst joins (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) |
| 2026-02-06 07:02:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 07:04:52 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-06 07:07:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-06 07:11:46 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-06 07:18:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 07:23:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-06 07:30:19 | × | CryptLab quits (~NSA@2a0d:5600:6:108::2e) (Ping timeout: 246 seconds) |
| 2026-02-06 07:32:05 | × | werneta quits (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-06 07:33:08 | <ski> | energizer : it's a version of "functorial strength" |
| 2026-02-06 07:34:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 07:35:13 | <ski> | > @type let strength :: Functor f => a -> f b -> f (a,b); strength = fmap . (,) in strength -- the other version |
| 2026-02-06 07:35:14 | <lambdabot> | <hint>:1:1: error: parse error on input `@' |
| 2026-02-06 07:35:21 | <ski> | @type let strength :: Functor f => a -> f b -> f (a,b); strength = fmap . (,) in strength |
| 2026-02-06 07:35:22 | <lambdabot> | Functor f => a -> f b -> f (a, b) |
| 2026-02-06 07:38:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 07:39:46 | trickard_ | is now known as trickard |
| 2026-02-06 07:48:33 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-02-06 07:50:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 07:50:31 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-06 07:51:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:e596:c016:94e2:5361) |
| 2026-02-06 07:54:19 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2026-02-06 07:54:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-06 07:56:37 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2026-02-06 07:56:37 | divlamir_ | is now known as divlamir |
| 2026-02-06 07:56:48 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-06 08:00:14 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-06 08:03:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-06 08:09:17 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-06 08:10:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-06 08:12:12 | × | iamsleepy quits (~weechat@user/iamsleepy) (Quit: WeeChat 4.7.1) |
| 2026-02-06 08:12:19 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-06 08:13:51 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-06 08:18:00 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
All times are in UTC.