Newest at the top
| 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 |
| 2025-12-12 13:56:23 +0100 | Googulator50 | (~Googulato@team.broadbit.hu) (Ping timeout: 272 seconds) |
| 2025-12-12 13:55:30 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Quit: leaving) |
| 2025-12-12 13:44:11 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-12 13:38:55 +0100 | Enrico63 | (~Enrico63@host-95-251-99-143.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-12-12 13:36:47 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d3a9:b169:555e:b9ec) |
| 2025-12-12 13:35:24 +0100 | <lucabtz> | isnt the definition as rank N has as parameters rank N-1 types correct? |
| 2025-12-12 13:35:12 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-12 13:30:17 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |