Newest at the top
| 2025-05-17 19:34:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 19:26:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 19:26:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 19:26:11 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 2025-05-17 19:22:58 +0200 | Vajb | (~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi) (Ping timeout: 276 seconds) |
| 2025-05-17 19:22:28 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-17 19:20:10 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-05-17 19:19:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 19:19:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 19:19:04 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-17 19:16:23 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-05-17 19:14:29 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-17 19:12:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 19:11:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 19:11:24 +0200 | fantom | (~fantom@33be818f.skybroadband.com) |
| 2025-05-17 19:10:13 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-05-17 19:05:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 19:04:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 18:58:01 +0200 | craunts | (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-17 18:56:44 +0200 | fantom | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-05-17 18:56:34 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-17 18:56:12 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2025-05-17 18:42:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 18:41:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 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 ^ |