Newest at the top
| 2025-12-12 17:16:17 +0100 | <ski> | Enrico63 : "Well, that's the same as `forall b. (forall a. a -> a) -> b`" -- no |
| 2025-12-12 17:15:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-12 17:10:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 17:05:21 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-12-12 17:03:36 +0100 | pebble | (~pebble@37.63.32.91) pebble |
| 2025-12-12 17:00:46 +0100 | skum | (~skum@user/skum) skum |
| 2025-12-12 16:59:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 16:55:00 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-12 16:54:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 16:54:47 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-12 16:54:04 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Quit: Lost terminal) |
| 2025-12-12 16:52:07 +0100 | Enrico63 | (~Enrico63@host-95-251-99-143.retail.telecomitalia.it) Enrico63 |
| 2025-12-12 16:50:38 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:c928:dba3:487d:1bc) |
| 2025-12-12 16:44:43 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 264 seconds) |
| 2025-12-12 16:44:25 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-12 16:43:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-12 16:42:17 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 250 seconds) |
| 2025-12-12 16:41:15 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2025-12-12 16:37:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 16:34:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-12-12 16:32:46 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-12 16:29:06 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-12 16:27:24 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 260 seconds) |
| 2025-12-12 16:27:01 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-12-12 16:26:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-12 16:22:48 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-12 16:22:40 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-12 16:22:33 +0100 | Enrico63 | (~Enrico63@host-95-251-99-143.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-12-12 16:22:07 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-12 16:21:54 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-12 16:21:15 +0100 | jreicher | (~user@user/jreicher) (Ping timeout: 240 seconds) |
| 2025-12-12 16:14:57 +0100 | trickard_ | trickard |
| 2025-12-12 16:13:45 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2025-12-12 16:10:09 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-12 16:06:11 +0100 | sldkfjlskdjf | yin |
| 2025-12-12 16:05:46 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-12 16:05:00 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-12 16:00:17 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-12 15:59:55 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-12 15:57:36 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Max SendQ exceeded) |
| 2025-12-12 15:55:49 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-12 15:54:32 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-12-12 15:54:11 +0100 | fp | (~Thunderbi@130.233.70.102) (Quit: fp) |
| 2025-12-12 15:51:44 +0100 | sldkfjlskdjf | (~zero@user/zero) zero |
| 2025-12-12 15:51:29 +0100 | sldkfjlskdjf | (~zero@user/zero) (Remote host closed the connection) |
| 2025-12-12 15:51:23 +0100 | sldkfjlskdjf | (~zero@user/zero) zero |
| 2025-12-12 15:50:43 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-12 15:50:36 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Max SendQ exceeded) |
| 2025-12-12 15:49:29 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-12 15:42:22 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Max SendQ exceeded) |