| 2026-02-06 00:05:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 00:07:01 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) (Ping timeout: 246 seconds) |
| 2026-02-06 00:10:10 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) remedan |
| 2026-02-06 00:10:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-06 00:14:45 +0100 | hsw | (~hsw@106.104.102.45) (Read error: Connection reset by peer) |
| 2026-02-06 00:15:04 +0100 | hsw | (~hsw@106.104.102.45) hsw |
| 2026-02-06 00:16:56 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4842:24c6:bd5c:fe37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-06 00:21:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 00:26:37 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-06 00:26:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-06 00:29:33 +0100 | Square3 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2026-02-06 00:32:08 +0100 | _JusSx_ | (~jussx@78.210.223.162) (Ping timeout: 240 seconds) |
| 2026-02-06 00:32:11 +0100 | <mesaoptimizer> | right, yeah |
| 2026-02-06 00:32:20 +0100 | <mesaoptimizer> | I try to minimize the complexity of my emacs config |
| 2026-02-06 00:32:57 +0100 | <mesaoptimizer> | I started out with doom emacs half a decade ago, and I'm quite enthusiastic about never ever having to deal with churn due to the actions of people who aren't me |
| 2026-02-06 00:34:07 +0100 | _JusSx_ | (~jussx@37.161.114.124) |
| 2026-02-06 00:38:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 00:44:45 +0100 | <EvanR> | this is code from postgresql-simple https://paste.tomsmeding.com/oNSVwCD5 |
| 2026-02-06 00:45:03 +0100 | <EvanR> | hey this code looks great to me but, could it have been implement using bracket? |
| 2026-02-06 00:45:05 +0100 | <jreicher> | mesaoptimizer: are you on #emacs? Some of the things you're touching on are discussed semi-regularly there |
| 2026-02-06 00:45:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 00:45:21 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-06 00:46:00 +0100 | <EvanR> | or no because of the selectivity of the kind of exception it is looking for at the end |
| 2026-02-06 00:53:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 00:56:52 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-06 00:57:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 00:59:26 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-06 01:08:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 01:10:31 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-06 01:11:37 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-02-06 01:13:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-06 01:24:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 01:27:55 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-02-06 01:29:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-06 01:35:45 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 245 seconds) |
| 2026-02-06 01:38:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 01:41:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-06 01:43:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-06 01:43:24 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2026-02-06 01:45:16 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-06 01:51:46 +0100 | wickedjargon | (~user@2605:8d80:5430:4910:f62b:7e78:f176:a13) (Remote host closed the connection) |
| 2026-02-06 01:53:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2026-02-06 01:53:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 01:54:07 +0100 | xff0x | (~xff0x@2405:6580:b080:900:24e9:bd9c:7b25:9d4f) (Ping timeout: 246 seconds) |
| 2026-02-06 01:57:17 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-06 01:58:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 02:03:49 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: djknvks) |
| 2026-02-06 02:06:21 +0100 | otto_s | (~user@p4ff27c83.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-02-06 02:07:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2026-02-06 02:08:12 +0100 | otto_s | (~user@p5de2f5d3.dip0.t-ipconnect.de) |
| 2026-02-06 02:09:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 02:16:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-06 02:27:49 +0100 | omidmash5 | (~omidmash@user/omidmash) omidmash |
| 2026-02-06 02:27:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 02:30:00 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 252 seconds) |
| 2026-02-06 02:30:00 +0100 | omidmash5 | omidmash |
| 2026-02-06 02:32:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 02:34:45 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-06 02:35:00 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-06 02:43:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 02:48:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-06 02:52:18 +0100 | trickard_ | trickard |
| 2026-02-06 02:56:53 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-06 02:58:14 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 2026-02-06 02:59:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 03:01:08 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e53558ec37d0ab0c0527.dip0.t-ipconnect.de) acidjnk |
| 2026-02-06 03:04:16 +0100 | acidjnk | (~acidjnk@p200300d6e700e57835d41376842fa308.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2026-02-06 03:04:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-06 03:06:22 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e53558ec37d0ab0c0527.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2026-02-06 03:15:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 03:18:22 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-06 03:19:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-06 03:22:02 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2026-02-06 03:28:18 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-02-06 03:28:48 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-02-06 03:28:48 +0100 | ChanServ | +v haskellbridge |
| 2026-02-06 03:30:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 03:35:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-06 03:40:17 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-06 03:40:30 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-06 03:46:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 03:52:13 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 264 seconds) |
| 2026-02-06 03:53:03 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-06 03:53:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-06 03:53:38 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-06 03:53:51 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-06 03:56:33 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-02-06 04:04:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 04:08:28 +0100 | trickard_ | trickard |
| 2026-02-06 04:09:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-06 04:16:32 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2026-02-06 04:19:13 +0100 | Umeaboy | (~Umeaboy@h77-53-243-72.cust.bredband2.com) (Quit: Leaving) |
| 2026-02-06 04:20:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 04:25:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 04:28:38 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-06 04:28:54 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-02-06 04:36:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 04:40:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-06 04:51:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 04:56:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 05:00:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 05:04:30 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2026-02-06 05:06:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-06 05:06:22 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2026-02-06 05:13:21 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2026-02-06 05:14:47 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2026-02-06 05:16:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 05:21:11 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) (Read error: Connection reset by peer) |
| 2026-02-06 05:21:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-06 05:29:29 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2026-02-06 05:30:30 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 2026-02-06 05:31:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 05:33:05 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2026-02-06 05:36:03 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-06 05:36:17 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-06 05:38:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-06 05:46:01 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-02-06 05:49:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 05:51:43 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 240 seconds) |
| 2026-02-06 05:54:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-06 05:55:04 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2026-02-06 05:55:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 05:56:15 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-06 05:56:29 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-06 06:00:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-06 06:04:29 +0100 | wickedjargon | (~user@2605:8d80:5431:105d:511d:c599:5292:316b) wickedjargon |
| 2026-02-06 06:04:43 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-06 06:11:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 06:16:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-06 06:18:13 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2026-02-06 06:23:40 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-06 06:26:18 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 2026-02-06 06:27:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 06:31:13 +0100 | cyphase | (~cyphase@user/cyphase) (Remote host closed the connection) |
| 2026-02-06 06:31:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 06:35:43 +0100 | mange | (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-02-06 06:42:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 06:47:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 06:47:48 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2026-02-06 06:52:35 +0100 | wickedjargon | (~user@2605:8d80:5431:105d:511d:c599:5292:316b) (Remote host closed the connection) |
| 2026-02-06 06:53:30 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-06 06:58:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 07:03:57 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-06 07:05:25 +0100 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2026-02-06 07:06:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-06 07:12:04 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-02-06 07:12:08 +0100 | michalz | (~michalz@185.246.207.197) |
| 2026-02-06 07:15:15 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2026-02-06 07:15:15 +0100 | divlamir_ | divlamir |
| 2026-02-06 07:17:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 07:18:19 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2026-02-06 07:19:08 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-06 07:19:57 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2026-02-06 07:24:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-06 07:28:36 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-06 07:28:56 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-06 07:30:51 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-02-06 07:33:06 +0100 | redshuffle | (~quassel@45.43.70.75) (Ping timeout: 256 seconds) |
| 2026-02-06 07:35:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 07:40:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-06 07:41:51 +0100 | redshuffle | (~quassel@45.43.70.75) |
| 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:42:56 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-06 07:50:03 +0100 | <energizer> | what's this called: f (a -> b) -> a -> f b |
| 2026-02-06 07:50:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:51:49 +0100 | <Leary> | @hoogle 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:50 +0100 | <lambdabot> | Control.Lens.Operators (??) :: Functor f => f (a -> b) -> a -> f b |
| 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:52 +0100 | <energizer> | ncf: thanks |
| 2026-02-06 07:51:57 +0100 | <ncf> | also that |
| 2026-02-06 07:55:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-06 07:59:02 +0100 | <hololeap> | % :t flip $ fmap . flip ($) |
| 2026-02-06 07:59:02 +0100 | <yahb2> | flip $ fmap . flip ($) :: Functor f => f (a -> b) -> a -> f b |
| 2026-02-06 07:59:17 +0100 | <hololeap> | not as catchy of a name! |
| 2026-02-06 08:01:37 +0100 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Quit: bye) |
| 2026-02-06 08:01:58 +0100 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst |
| 2026-02-06 08:02:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 08:04:52 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-06 08:07:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-06 08:11:46 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-06 08:18:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 08:23:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-06 08:30:19 +0100 | CryptLab | (~NSA@2a0d:5600:6:108::2e) (Ping timeout: 246 seconds) |
| 2026-02-06 08:32:05 +0100 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-06 08:33:08 +0100 | <ski> | energizer : it's a version of "functorial strength" |
| 2026-02-06 08:34:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:35:14 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `@' |
| 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:22 +0100 | <lambdabot> | Functor f => a -> f b -> f (a, b) |
| 2026-02-06 08:38:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-06 08:39:46 +0100 | trickard_ | trickard |
| 2026-02-06 08:48:33 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-06 08:50:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 08:50:31 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-06 08:51:43 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e596:c016:94e2:5361) |
| 2026-02-06 08:54:19 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-02-06 08:54:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-06 08:56:37 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2026-02-06 08:56:37 +0100 | divlamir_ | divlamir |
| 2026-02-06 08:56:48 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-06 09:00:14 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-06 09:03:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-06 09:09:17 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-06 09:10:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-06 09:12:12 +0100 | iamsleepy | (~weechat@user/iamsleepy) (Quit: WeeChat 4.7.1) |
| 2026-02-06 09:12:19 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-06 09:13:51 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-06 09:18:00 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-06 09:18:31 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-06 09:21:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |