Newest at the top
| 2026-03-09 05:47:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-09 05:42:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-09 05:31:31 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-03-09 05:30:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-09 05:29:13 +0100 | khumba | (~khumba@user/khumba) (Ping timeout: 244 seconds) |
| 2026-03-09 05:26:26 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-09 05:26:26 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) (Changing host) |
| 2026-03-09 05:26:26 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) |
| 2026-03-09 05:22:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-09 05:18:55 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-03-09 05:18:21 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2026-03-09 05:16:11 +0100 | khumba | (~khumba@user/khumba) khumba |
| 2026-03-09 05:16:11 +0100 | khumba | (~khumba@24.70.121.49) (Changing host) |
| 2026-03-09 05:16:04 +0100 | khumba | (~khumba@24.70.121.49) |
| 2026-03-09 05:14:42 +0100 | khumba | (~khumba@user/khumba) (Ping timeout: 255 seconds) |
| 2026-03-09 04:59:46 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-03-09 04:58:11 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2026-03-09 04:57:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-09 04:57:22 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-09 04:56:07 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-03-09 04:53:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-09 04:52:04 +0100 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-03-09 04:50:24 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-09 04:47:25 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-03-09 04:42:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-09 04:39:55 +0100 | <EvanR> | the instances form a relation among types, restricted further by the functional dependency noted = all these constraints exist |
| 2026-03-09 04:38:47 +0100 | <EvanR> | that seems to all add up to the same thing as what i said. None of which to me connects with the "point" which is to select an instance |
| 2026-03-09 04:37:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-09 04:27:40 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-09 04:26:08 +0100 | myxos | (~myxos@174-18-44-59.tcso.qwest.net) myxokephale |
| 2026-03-09 04:24:46 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-03-09 04:19:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-09 04:17:38 +0100 | attlin | (~user@user/attlin) (Ping timeout: 248 seconds) |
| 2026-03-09 04:15:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-09 04:14:42 +0100 | myxos | (~myxos@174-18-44-59.tcso.qwest.net) (Remote host closed the connection) |
| 2026-03-09 04:14:26 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-09 04:09:23 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-09 04:09:23 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) (Changing host) |
| 2026-03-09 04:09:23 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) |
| 2026-03-09 04:08:06 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-09 04:04:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-09 04:03:26 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-09 03:59:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-09 03:59:03 +0100 | <ski> | (by `unique a. ..a..' i here mean "exists at most one", so equivalent to `forall a0 a1. (..a0..,..a1..) => a0 = a1') |
| 2026-03-09 03:57:38 +0100 | <ski> | "either this or associated types are needed to make multiparameter type classes typecheck without explicit annotations" -- for many, but not for all, usages. if you only invoke a single `C a b c' constraint (or there's only a single instance), then the presence or absence of the FD makes no difference |
| 2026-03-09 03:56:14 +0100 | <ski> | differs, then you have a violation of the FD |
| 2026-03-09 03:56:08 +0100 | <ski> | EvanR : for `class C a b c | a -> b', this expresses `forall a. unique b. exists c. C a b c', which is equivalent to `forall a b0 b1 c0 c1. (C a b0 c0,C a b1 c1) => b0 = b1'. this means that if you infer constraints `C a b0 c0' and `C a b1 c1' then you can add the constraint `b0 = b1'. it also means that if you find two instances where the `a' part is the same (upto renaming of tyvars) but the `b' part |
| 2026-03-09 03:51:39 +0100 | khumba | (~khumba@user/khumba) khumba |
| 2026-03-09 03:48:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-09 03:43:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |