Newest at the top
| 2025-01-15 08:51:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:51:00 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:51:00 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-15 08:49:42 +0100 | CiaoSen | (~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2025-01-15 08:49:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:49:14 +0100 | reidrac | (~reidrac@user/reidrac) reidrac |
| 2025-01-15 08:49:11 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:47:27 +0100 | reidrac | (~reidrac@user/reidrac) (Quit: bye now!) |
| 2025-01-15 08:47:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-15 08:45:48 +0100 | <c_wraith> | Ah, I see. That does pose a challenge. |
| 2025-01-15 08:45:16 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-15 08:43:51 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 276 seconds) |
| 2025-01-15 08:41:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 08:40:21 +0100 | <haskellbridge> | <maerwald> one of them always has an element |
| 2025-01-15 08:38:57 +0100 | <haskellbridge> | <maerwald> my current structure is: folding $ \f -> f ^.. foo . bar <> f ^.. baz . fab |
| 2025-01-15 08:38:05 +0100 | <haskellbridge> | <maerwald> well, that was easy, now I just need to figure out how to construct the Foldable1 safely |
| 2025-01-15 08:37:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 08:26:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 08:25:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 08:22:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 08:20:46 +0100 | <c_wraith> | maerwald: you could write one by hand. |
| 2025-01-15 08:18:04 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-01-15 08:17:26 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 08:16:01 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-01-15 08:15:29 +0100 | <haskellbridge> | <maerwald> it seems the only way to create a Fold1 is through repeated, iterated and cycled |
| 2025-01-15 08:13:56 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 08:13:24 +0100 | <haskellbridge> | <maerwald> why there is no 'folding1' in lens? |
| 2025-01-15 08:11:29 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-15 08:11:26 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:11:15 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2025-01-15 08:10:54 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:05:00 +0100 | <Leary> | I think they should just end up in the store. To find them, you can follow a link from your own haddocks or go spelunking. |
| 2025-01-15 08:04:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 08:02:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:01:30 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:59:47 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 07:59:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:57:59 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 07:57:47 +0100 | euleritian | (~euleritia@dynamic-176-003-081-004.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:57:47 +0100 | euleritian | (~euleritia@dynamic-176-003-081-004.176.3.pool.telefonica.de) |
| 2025-01-15 07:57:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:57:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 07:56:36 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 07:56:12 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 07:54:24 +0100 | <Axman6> | I can find the docs for my package but not the deps |
| 2025-01-15 07:53:34 +0100 | <Axman6> | I have documentation: true but I can't tell where the docs should end up |
| 2025-01-15 07:52:55 +0100 | CiaoSen | (~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-15 07:51:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:49:59 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 07:46:43 +0100 | <jackdk> | Axman6: what if you put `documentation: True` in `cabal.project{,.local}`? |