Newest at the top
| 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 |
| 2025-12-12 13:29:25 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 264 seconds) |
| 2025-12-12 13:27:35 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-12 13:24:43 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 272 seconds) |
| 2025-12-12 13:20:57 +0100 | Googulator50 | (~Googulato@team.broadbit.hu) |
| 2025-12-12 13:16:13 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-12-12 13:04:28 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-12 13:02:46 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 244 seconds) |
| 2025-12-12 13:02:19 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-12 13:01:13 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 264 seconds) |