Newest at the top
| 2025-09-26 06:38:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-26 06:33:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 06:28:07 +0200 | michalz | (~michalz@185.246.207.203) |
| 2025-09-26 06:23:25 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-26 06:21:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-26 06:15:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 06:04:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 05:59:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 05:57:20 +0200 | aforemny | (~aforemny@2001:9e8:6ce2:cc00:f470:f628:9e0c:882f) (Ping timeout: 244 seconds) |
| 2025-09-26 05:56:37 +0200 | aforemny_ | (~aforemny@i577B1314.versanet.de) aforemny |
| 2025-09-26 05:48:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 05:43:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 05:41:49 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 05:38:26 +0200 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-26 05:36:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 05:32:42 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-09-26 05:31:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 05:30:25 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 2025-09-26 05:29:57 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-26 05:25:34 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 05:25:34 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
| 2025-09-26 05:25:34 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
| 2025-09-26 05:24:28 +0200 | Jackneill | (~Jackneill@91-83-15-174.pool.digikabel.hu) |
| 2025-09-26 05:24:10 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-26 05:22:46 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 05:22:30 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 05:21:18 +0200 | werneta_ | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-09-26 05:21:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 05:17:29 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-09-26 05:15:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 05:14:06 +0200 | a_fantom | (~fantom@90.244.165.186) (Quit: Connection error?!) |
| 2025-09-26 05:10:43 +0200 | sroso | (~sroso@user/SrOso) SrOso |
| 2025-09-26 05:05:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 05:00:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 04:55:21 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-09-26 04:51:49 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-26 04:49:43 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-09-26 04:44:43 +0200 | <Leary> | It can still be a fine one-liner: `_singular = prism pure \case{ [x] -> Right x; xs -> Left xs }` |
| 2025-09-26 04:38:09 +0200 | <dcpagan> | Would have been nice to generically compose my prism with _Cons and _Empty; I thought I was clever with that one-liner. |
| 2025-09-26 04:36:50 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-26 04:35:06 +0200 | vanishing | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-09-26 04:32:50 +0200 | <dibblego> | you can review [Review, Prism, Iso, Equality] |
| 2025-09-26 04:32:22 +0200 | <dibblego> | i.e. Traversal is not Review |
| 2025-09-26 04:32:02 +0200 | <dibblego> | no, you cannot review a traversal, which can be seen in this diagram: https://hackage.haskell.org/package/lens |
| 2025-09-26 04:30:49 +0200 | <dibblego> | ok yes that works on the head of a single-element list |
| 2025-09-26 04:29:18 +0200 | <dcpagan> | So I can't review Traversals? |
| 2025-09-26 04:28:54 +0200 | <dcpagan> | h:t -> if null t then Right h else Left (h:t) |
| 2025-09-26 04:28:52 +0200 | <dcpagan> | [] -> Left [] |
| 2025-09-26 04:28:50 +0200 | <dcpagan> | _singular = prism (:[]) $ \case |
| 2025-09-26 04:28:48 +0200 | <dcpagan> | _singular :: Prism' [a] a |