| 2025-11-05 00:29:19 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-05 01:58:42 +0000 | Forkk13 | (~forkk@li926-228.members.linode.com) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-11-05 01:59:20 +0000 | Forkk13 | (~forkk@li926-228.members.linode.com) Forkk |
| 2025-11-05 02:59:32 +0000 | <haskellbridge> | <geekosaur (@geekosaur:matrix.org)> in particular, I think "handleMessage" becomes "handleMessage (ResizableTall' inner) m = fmap (fmap ResizableTall') (handleMessage inner m)" or some variant thereof. "doLayout" is a little harder unless you use "lens" in which case you can bring something like "over _2 (fmap ResizableTall')" into play? |
| 2025-11-05 03:35:54 +0000 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 252 seconds) |
| 2025-11-05 03:37:55 +0000 | td_ | (~td@i5387093C.versanet.de) td_ |
| 2025-11-05 06:17:27 +0000 | <haskellbridge> | <Primrose (== Léana)> geekosaur: I see, I find the error message hella confusing if one doesn't understand in which direction the type unification is done here |
| 2025-11-05 06:17:29 +0000 | <haskellbridge> | <Primrose (== Léana)> Thanks !! |
| 2025-11-05 06:18:29 +0000 | <haskellbridge> | <Primrose (== Léana)> In the end I did |
| 2025-11-05 06:18:29 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/WTCNFoqEazWKXwSjGBHvlhLb/eNLykQpbIQo (15 lines) |
| 2025-11-05 09:04:33 +0000 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-05 11:56:35 +0000 | yecinem_ | (~yecinem@p200300ee0f027400af0a7cdbe8524351.dip0.t-ipconnect.de) |
| 2025-11-05 12:07:43 +0000 | yecinem_ | (~yecinem@p200300ee0f027400af0a7cdbe8524351.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-11-05 18:16:36 +0000 | hightower2 | (~hightower@dh207-113-80.xnet.hr) hightower2 |
| 2025-11-05 18:34:05 +0000 | MrElendig | (~Urist@archlinux/op/MrElendig) (Quit: punching nazis) |
| 2025-11-05 18:35:44 +0000 | MrElendig | (~Urist@archlinux/op/MrElendig) MrElendig |
| 2025-11-05 18:38:05 +0000 | xjcj | (~xjcj@dslb-002-205-170-105.002.205.pools.vodafone-ip.de) |
| 2025-11-05 18:55:24 +0000 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-11-05 19:12:27 +0000 | xjcj | (~xjcj@dslb-002-205-170-105.002.205.pools.vodafone-ip.de) (Ping timeout: 250 seconds) |
| 2025-11-05 19:48:16 +0000 | hightower3 | (~hightower@cpe-94-253-237-31.st.cable.xnet.hr) hightower2 |
| 2025-11-05 19:49:57 +0000 | hightower2 | (~hightower@dh207-113-80.xnet.hr) (Ping timeout: 252 seconds) |
| 2025-11-05 19:50:54 +0000 | hightower2 | (~hightower@cpe-94-253-244-153.st.cable.xnet.hr) hightower2 |
| 2025-11-05 19:52:42 +0000 | hightower3 | (~hightower@cpe-94-253-237-31.st.cable.xnet.hr) (Ping timeout: 252 seconds) |
| 2025-11-05 22:39:31 +0000 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-05 22:40:14 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2025-11-05 22:40:23 +0000 | berberman | (~berberman@user/berberman) (Remote host closed the connection) |
| 2025-11-05 22:42:13 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2025-11-05 22:43:08 +0000 | berberman | (~berberman@user/berberman) (Read error: Connection reset by peer) |
| 2025-11-05 22:50:07 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2025-11-05 22:50:46 +0000 | berberman | (~berberman@user/berberman) (Client Quit) |
| 2025-11-05 22:52:21 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2025-11-05 22:52:23 +0000 | berberman | (~berberman@user/berberman) (Remote host closed the connection) |
| 2025-11-05 22:52:44 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2025-11-05 22:53:44 +0000 | berberman | (~berberman@user/berberman) (Client Quit) |
| 2025-11-05 22:54:07 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2025-11-05 22:54:17 +0000 | berberman | (~berberman@user/berberman) (Remote host closed the connection) |
| 2025-11-05 22:55:59 +0000 | berberman | (~berberman@user/berberman) berberman |