Newest at the top
| 2025-05-30 15:55:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:55:45 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 260 seconds) |
| 2025-05-30 15:55:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:54:46 +0200 | <EvanR> | i'm curious how you'd even go the other way |
| 2025-05-30 15:54:40 +0200 | kenran | (~void@user/kenran) kenran |
| 2025-05-30 15:52:45 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-30 15:52:21 +0200 | puke | (~puke@user/puke) puke |
| 2025-05-30 15:50:54 +0200 | <EvanR> | absence, is that an impredicative type |
| 2025-05-30 15:49:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:49:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:49:06 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-05-30 15:46:54 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-05-30 15:46:14 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2025-05-30 15:45:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9dbe:32d6:8014:9bea) |
| 2025-05-30 15:42:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:42:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:38:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9dbe:32d6:8014:9bea) (Ping timeout: 272 seconds) |
| 2025-05-30 15:35:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:35:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:34:24 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-05-30 15:28:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:28:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:24:48 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-30 15:21:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:21:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:21:09 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2025-05-30 15:18:17 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-05-30 15:16:56 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-05-30 15:16:56 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-05-30 15:16:56 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-05-30 15:14:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:14:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:12:27 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-05-30 15:10:22 +0200 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-30 15:07:12 +0200 | <absence> | Is it possible to implement a function with the type "Functor f => (forall a. f (f a)) -> f (forall a. f a)", or does it only work in the other direction? |
| 2025-05-30 15:07:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:06:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:06:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) |
| 2025-05-30 15:04:23 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-05-30 14:59:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:59:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:57:25 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f058d865540123fba5d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-05-30 14:54:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-30 14:52:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:51:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:48:04 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-30 14:45:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:45:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:38:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:38:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |