Newest at the top
| 2025-05-17 18:35:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-17 18:34:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 18:30:01 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.6.2) |
| 2025-05-17 18:28:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-17 18:25:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 18:24:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 18:23:16 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-17 18:21:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 18:21:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-17 18:19:24 +0200 | volsand | (~volsand@2804:1b1:1080:3f49:869b:b61b:4ad6:650f) (Quit: volsand) |
| 2025-05-17 18:18:59 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-17 18:17:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-17 18:17:18 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 18:14:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 18:13:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 18:06:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-17 17:59:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 17:58:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 17:53:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 17:53:12 +0200 | <Leary> | ski: Well. I know `ID` could be made `GEq` or (unlawfully) `TestEquality`, but I'm looking for `ID` itself. Perhaps I should have also mentioned that the interface is completed by `newID :: IO (ID a)`; I'm ruling out `TypeRep` for breaking parametricity. |
| 2025-05-17 17:52:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 17:45:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 17:45:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 17:38:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 17:38:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 17:37:57 +0200 | <ski> | Leary : some catches ^ |
| 2025-05-17 17:37:38 +0200 | <ski> | Data.GADT.Compare.geq :: GEq f => f a -> f b -> Maybe (a :~: b) |
| 2025-05-17 17:37:33 +0200 | <lambdabot> | forall k (f :: k -> *) (a :: k) (b :: k). Data.Type.Equality.TestEquality f => f a -> f b -> Maybe (a :~: b) |
| 2025-05-17 17:37:32 +0200 | <ski> | @type Data.Type.Equality.testEquality |
| 2025-05-17 17:37:29 +0200 | <lambdabot> | forall k1 k2 (a :: k1) (b :: k2). Type.Reflection.TypeRep a -> Type.Reflection.TypeRep b -> Maybe (a :~~: b) |
| 2025-05-17 17:37:29 +0200 | <ski> | @type Type.Reflection.eqTypeRep |
| 2025-05-17 17:36:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-17 17:31:29 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-05-17 17:26:46 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-17 17:24:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 17:23:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 17:19:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-17 17:16:42 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-05-17 17:15:51 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-05-17 17:14:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 17:14:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 17:08:26 +0200 | ft_ | ft |
| 2025-05-17 17:08:25 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-05-17 17:06:36 +0200 | ft_ | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-17 17:05:03 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-17 17:03:43 +0200 | <Leary> | Is there a `newtype ID a = ID Unique` with `sameID :: ID a -> ID b -> Maybe (a :~: b)` already out there somewhere? It's pretty useful: https://gist.github.com/LSLeary/5e4e157055c04a6dea77d9474ec0544a |
| 2025-05-17 16:43:07 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-17 16:34:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-17 16:30:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 16:30:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |