Newest at the top
| 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) |
| 2025-12-12 15:39:19 +0100 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-12-12 15:39:13 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-12 15:34:51 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) ft |
| 2025-12-12 15:33:29 +0100 | yin | (~zero@user/zero) (Killed (NickServ (GHOST command used by Guest900!~yin@a89-153-191-69.cpe.netcabo.pt))) |
| 2025-12-12 15:32:05 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Max SendQ exceeded) |
| 2025-12-12 15:30:16 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-12 15:26:44 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 260 seconds) |
| 2025-12-12 15:20:54 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-12 15:08:37 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-12 15:06:49 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-12 15:03:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-12 14:40:57 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-12-12 14:31:33 +0100 | Enrico63 | (~Enrico63@host-95-251-99-143.retail.telecomitalia.it) Enrico63 |
| 2025-12-12 14:29:35 +0100 | stef204 | (~stef204@user/stef204) stef204 |
| 2025-12-12 14:27:31 +0100 | fp | (~Thunderbi@130.233.70.102) fp |
| 2025-12-12 14:24:15 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-12 14:24:02 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-12 14:17:41 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 244 seconds) |
| 2025-12-12 14:12:55 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) fp |
| 2025-12-12 14:07:05 +0100 | lucabtz_ | lucabtz |
| 2025-12-12 14:06:30 +0100 | <lucabtz_> | though the only foralls which can be implicit are the ones at the top level no? |
| 2025-12-12 14:04:34 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 246 seconds) |
| 2025-12-12 14:03:39 +0100 | <merijn> | Yes, but then pinning down exactly what that means isn't always obvious in Haskell given that the source language doesn't always match the one with explicit foralls directly |
| 2025-12-12 14:02:24 +0100 | lucabtz_ | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-12 13:59:13 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |