Newest at the top
2024-10-02 18:33:53 +0200 | <tomsmeding> | https://play.haskell.org/saved/FSZ9n53w |
2024-10-02 18:33:35 +0200 | <tomsmeding> | you aren't going to get around building up stack space there though, I think |
2024-10-02 18:33:26 +0200 | <tomsmeding> | __monty__: you can also inline the reverses into the traveral of the left side |
2024-10-02 18:29:04 +0200 | <tomsmeding> | __monty__: I see :p |
2024-10-02 18:28:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-02 18:26:36 +0200 | gues64899 | (~username@h-79-136-20-117.A465.priv.bahnhof.se) |
2024-10-02 18:26:08 +0200 | son0p | (~ff@152.203.113.149) (Ping timeout: 252 seconds) |
2024-10-02 18:24:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-02 18:20:38 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-10-02 18:19:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-02 18:13:18 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2024-10-02 18:13:00 +0200 | <__monty__> | tomsmeding: I'm pretty sure it's the fourth. |
2024-10-02 18:09:24 +0200 | st_aldini | (~Thunderbi@136.48.22.91) st_aldini |
2024-10-02 18:09:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-02 18:08:06 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) ft |
2024-10-02 18:04:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-02 18:04:04 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
2024-10-02 18:03:34 +0200 | stanrifkin | (~stanrifki@p200300dbcf4d5200f2623d312a512e86.dip0.t-ipconnect.de) () |
2024-10-02 18:03:17 +0200 | stanrifkin | (~stanrifki@p200300dbcf4d5200f2623d312a512e86.dip0.t-ipconnect.de) stanrifkin |
2024-10-02 18:02:16 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
2024-10-02 17:59:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-10-02 17:58:49 +0200 | <__monty__> | Lears: Interesting, that would pretty much do the reverses for me, right? I was wondering if reversing could be avoided altogether. |
2024-10-02 17:54:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-02 17:53:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-02 17:50:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-02 17:49:41 +0200 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
2024-10-02 17:49:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-02 17:47:11 +0200 | <lambdabot> | Data.Functor.Reverse Reverse :: f a -> Reverse f a |
2024-10-02 17:47:11 +0200 | <lambdabot> | Data.Functor.Reverse newtype Reverse f a |
2024-10-02 17:47:11 +0200 | <lambdabot> | module Data.Functor.Reverse |
2024-10-02 17:47:10 +0200 | <Lears> | @hoogle Data.Functor.Reverse |
2024-10-02 17:41:52 +0200 | <__monty__> | Is there a better way to implement traverse for ListZipper than using reverse twice for the left side? https://github.com/system-f/fp-course/blob/master/src/Course/ListZipper.hs#L693 |
2024-10-02 17:38:48 +0200 | shapr | (~user@2601:19c:417e:5434:ed03:a722:d7be:3773) (Remote host closed the connection) |
2024-10-02 17:38:31 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
2024-10-02 17:38:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-02 17:37:53 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-02 17:36:01 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-02 17:35:10 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-10-02 17:33:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-02 17:30:48 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-02 17:26:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-02 17:22:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-02 17:20:21 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-02 17:18:40 +0200 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
2024-10-02 17:16:21 +0200 | tomsmeding | is not sure which wall you're talking about |
2024-10-02 17:15:57 +0200 | <EvanR> | might have been tomsmeding |
2024-10-02 17:15:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-02 17:15:35 +0200 | <EvanR> | someone tagged the channel wall |
2024-10-02 17:15:22 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-02 17:14:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |