Newest at the top
2025-09-26 04:13:56 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
2025-09-26 04:13:33 +0200 | <dcpagan> | _single = _Cons . aside _Empty . _1 |
2025-09-26 04:13:31 +0200 | <dcpagan> | _single :: (Cons s s a a, AsEmpty s) => Traversal' s a |
2025-09-26 04:13:15 +0200 | <dcpagan> | I want to define a prism that matches a list with a single element, and then get that element. |
2025-09-26 04:03:40 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
2025-09-26 04:02:31 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-26 03:59:23 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-26 03:59:23 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host) |
2025-09-26 03:59:23 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) |
2025-09-26 03:57:33 +0200 | qqe | (~qqq@185.54.23.100) |
2025-09-26 03:56:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
2025-09-26 03:41:07 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-26 03:35:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-09-26 03:33:35 +0200 | ChanServ | +v haskellbridge |
2025-09-26 03:33:35 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
2025-09-26 03:32:27 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
2025-09-26 03:30:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-26 03:25:36 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-09-26 03:20:15 +0200 | trickard_ | trickard |
2025-09-26 03:19:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-09-26 03:19:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-26 03:14:07 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-26 03:12:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-26 03:08:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-26 03:01:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-26 02:57:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-26 02:57:01 +0200 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
2025-09-26 02:53:53 +0200 | Square | (~Square4@user/square) Square |
2025-09-26 02:46:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-09-26 02:44:25 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
2025-09-26 02:42:07 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-09-26 02:41:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-26 02:39:58 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-26 02:33:37 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 264 seconds) |
2025-09-26 02:30:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-09-26 02:29:01 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
2025-09-26 02:25:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-26 02:20:10 +0200 | Zer000 | (~02@64.137.132.10) (Quit: Leaving) |
2025-09-26 02:19:13 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-26 02:15:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-09-26 02:11:37 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds) |
2025-09-26 02:11:06 +0200 | acidjnk | (~acidjnk@p200300d6e7171936b1379f225ef04baa.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-09-26 02:09:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-26 02:09:23 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
2025-09-26 02:04:32 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
2025-09-26 01:58:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-26 01:58:06 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-26 01:54:04 +0200 | st_aldini | (~Thunderbi@136.48.46.187) (Remote host closed the connection) |
2025-09-26 01:51:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-26 01:48:06 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |