Newest at the top
| 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) |
| 2025-05-30 14:30:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:30:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:24:45 +0200 | jespada | (~jespada@r179-25-215-55.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-30 14:21:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:20:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:19:10 +0200 | jespada | (~jespada@r179-25-215-55.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-30 14:19:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9dbe:32d6:8014:9bea) |
| 2025-05-30 14:14:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:14:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-30 14:14:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:12:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) |
| 2025-05-30 14:07:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |