Newest at the top
| 2025-01-15 09:45:52 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 09:37:37 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 09:32:39 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-15 09:29:55 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 09:28:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 09:26:54 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-15 09:26:21 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 09:24:33 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 09:16:52 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2025-01-15 09:16:23 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-15 09:06:05 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-15 09:00:45 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-15 09:00:36 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-15 09:00:36 +0100 | kenran | (~void@user/kenran) kenran |
| 2025-01-15 08:57:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-15 08:55:28 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-15 08:55:08 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-15 08:55:07 +0100 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2025-01-15 08:52:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 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) |