Newest at the top
| 2025-03-10 13:47:00 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-03-10 13:46:40 +0100 | comonad | (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) (Quit: WeeChat 4.6.0-dev) |
| 2025-03-10 13:42:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-10 13:41:36 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-03-10 13:39:48 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-03-10 13:35:46 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-03-10 13:35:21 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2025-03-10 13:32:13 +0100 | Guest12 | (~Guest12@2409:40d4:160:60db:f53a:440f:8d67:514e) (Client Quit) |
| 2025-03-10 13:31:30 +0100 | Guest12 | (~Guest12@2409:40d4:160:60db:f53a:440f:8d67:514e) |
| 2025-03-10 13:30:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-10 13:28:14 +0100 | jespada | (~jespada@2800:a4:2209:c300:e437:199c:a9b6:7fbe) jespada |
| 2025-03-10 13:27:33 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-10 13:12:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-10 13:07:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-10 13:00:39 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3505-a309-3c71-7084-313c-e191.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-10 12:59:34 +0100 | manwithluck | (~manwithlu@2a00:7c80:0:3c5::14) manwithluck |
| 2025-03-10 12:50:23 +0100 | fp | (~Thunderbi@130.233.70.204) fp |
| 2025-03-10 12:46:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-03-10 12:44:47 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3505-a309-3c71-7084-313c-e191.rev.sfr.net) alexherbo2 |
| 2025-03-10 12:38:55 +0100 | greenOcean | (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) (Read error: Connection reset by peer) |
| 2025-03-10 12:38:54 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-10 12:34:19 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-10 12:26:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-10 12:24:02 +0100 | <Square2> | Oh, hoist wants a to Functor transform and fold a Monad one. |
| 2025-03-10 12:22:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-10 12:22:30 +0100 | <jackdk> | you may find yourself using `hoistCoyoneda` in your `foldFreeT` call |
| 2025-03-10 12:21:50 +0100 | <Square2> | jackdk, thanks. Sweet. I'm using foldFreeT, that seems to require the same function as hoistFreeT. |
| 2025-03-10 12:21:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-03-10 12:19:15 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-03-10 12:19:09 +0100 | euandreh | (~Thunderbi@2804:d59:896c:b400:be5c:fe42:c5ff:26b3) (Remote host closed the connection) |
| 2025-03-10 12:18:08 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-10 12:17:06 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f933:3317:5967:9ba3) |
| 2025-03-10 12:11:33 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-03-10 12:10:08 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-10 12:07:47 +0100 | <jackdk> | Square2: You can, but you'll need to hoist your `f` into an actual `Functor`to be able to tear the value back down. You can see this trick put to good use in https://blog.ocharles.org.uk/posts/2017-08-23-extensible-effects-and-transformers.html |
| 2025-03-10 12:02:38 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-03-10 12:02:00 +0100 | fiadl | (~user@p5b0f3bec.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-03-10 12:00:51 +0100 | <Square2> | any "f :: * -> *" that is |
| 2025-03-10 11:59:08 +0100 | <Square2> | I'm wondering about the Coyoneda lemma. Seems I can turn any type f into a Functor using Coyoneda lemma. Similarly I can turn that f in to Monad using : Free (Coyoneda f). Or am I missing something? |
| 2025-03-10 11:57:27 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-10 11:55:22 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-03-10 11:55:12 +0100 | fiadl | (~user@p5b0f3bec.dip0.t-ipconnect.de) |
| 2025-03-10 11:53:58 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1) |
| 2025-03-10 11:43:56 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-10 11:40:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-10 11:39:54 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 260 seconds) |
| 2025-03-10 11:37:42 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3505-a309-316c-408c-4c06-8723.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-10 11:36:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-10 11:23:00 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-03-10 11:20:55 +0100 | greenOcean | (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) |