Newest at the top
| 2025-12-12 21:25:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 21:19:41 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-12 21:18:07 +0100 | ljdarj1 | ljdarj |
| 2025-12-12 21:18:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-12-12 21:16:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-12 21:15:51 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-12 21:13:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-12 21:13:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-12 21:12:18 +0100 | <ski> | __monty__ : it would still be transitive, but that wouldn't help |
| 2025-12-12 21:11:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 21:09:33 +0100 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-12-12 21:00:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-12 20:57:18 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-12 20:56:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 20:54:48 +0100 | myme | (~myme@2a01:799:d5e:5f00:e46f:4150:c7c:78b) myme |
| 2025-12-12 20:54:31 +0100 | <davean> | There are levels of partiality |
| 2025-12-12 20:53:58 +0100 | myme | (~myme@2a01:799:d5e:5f00:b47a:83fd:4eab:92be) (Ping timeout: 260 seconds) |
| 2025-12-12 20:49:39 +0100 | <dolio> | If it's just false both ways for incomparable elements, then you're not going to get reliable results, no. |
| 2025-12-12 20:46:46 +0100 | <tomsmeding> | __monty__: how would you pass a partial ordering to sortBy? As a partial function? |
| 2025-12-12 20:44:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-12 20:43:47 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-12 20:43:00 +0100 | <__monty__> | I think not since it would not be transitive? |
| 2025-12-12 20:42:43 +0100 | <__monty__> | Does sortBy work for a partial ordering relation? |
| 2025-12-12 20:42:36 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-12 20:40:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 20:36:26 +0100 | Psychotic1 | (~Psychotic@2600:1007:b0a4:1e01:107b:5dec:754f:b240) |
| 2025-12-12 20:34:34 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-12 20:31:57 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-12-12 20:31:50 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-12 20:29:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-12 20:24:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 20:23:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-12 20:21:44 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-12 20:17:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 20:16:47 +0100 | kuribas | (~user@2a02:1808:cd:c4e1:426f:b0ba:9911:461) (Ping timeout: 250 seconds) |
| 2025-12-12 20:14:13 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-12 20:13:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 20:02:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-12 19:57:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-12 19:57:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 19:55:35 +0100 | <gentauro> | tomsmeding: Nevermind, found another project where I'm doing this. It appears that by adding a `stack.yaml` like this: https://paste.tomsmeding.com/LZ8m3NLq allows you to `stack build` and `stack install`. All good :) |
| 2025-12-12 19:53:57 +0100 | <tomsmeding> | gentauro: what do you mean with "install", precisely? And does that "cabal project" depend on a cabal.project file, or is it simply a package with a something.cabal file? |
| 2025-12-12 19:50:38 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-12 19:50:25 +0100 | <gentauro> | I recall there was a `cabal2stack` right? |
| 2025-12-12 19:50:04 +0100 | <gentauro> | is there a way to install a `cabal` project with `stack`? |
| 2025-12-12 19:47:17 +0100 | kuribas | (~user@2a02:1808:cd:c4e1:426f:b0ba:9911:461) kuribas |
| 2025-12-12 19:46:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-12 19:41:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 19:38:56 +0100 | kuribas | (~user@2a02:1808:cd:c4e1:d615:9737:dd6:7ffc) (Ping timeout: 256 seconds) |
| 2025-12-12 19:30:59 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |