Newest at the top
| 2025-01-26 09:52:17 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-26 09:51:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 09:51:53 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-26 09:51:48 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-01-26 09:51:12 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-01-26 09:48:01 +0100 | qeez | (~qeez@2a00:1e88:1212:d400:b70f:1e29:cb76:d40d) |
| 2025-01-26 09:46:40 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-26 09:41:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-26 09:37:18 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-01-26 09:36:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 09:33:00 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-26 09:32:21 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-26 09:25:55 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-26 09:25:23 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-26 09:24:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-26 09:18:16 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-26 09:18:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 09:16:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-26 09:12:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-26 09:09:33 +0100 | alp | (~alp@2001:861:8ca0:4940:2a6c:ac90:3bd4:68c5) |
| 2025-01-26 09:07:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-26 09:04:08 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-01-26 09:02:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 09:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-26 09:00:06 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-26 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-26 08:52:03 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-26 08:50:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-26 08:47:32 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-26 08:46:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 08:46:05 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-26 08:45:53 +0100 | dsrt^ | (~dsrt@108.192.66.114) (Ping timeout: 248 seconds) |
| 2025-01-26 08:42:49 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-26 08:42:31 +0100 | euleritian | (~euleritia@dynamic-176-006-132-167.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-26 08:42:09 +0100 | euleritian | (~euleritia@dynamic-176-006-132-167.176.6.pool.telefonica.de) |
| 2025-01-26 08:42:00 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-26 08:37:15 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-26 08:36:57 +0100 | euleritian | (~euleritia@dynamic-176-006-132-167.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-26 08:34:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-26 08:29:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 08:28:35 +0100 | xdminsy | (~xdminsy@117.147.71.143) (Quit: Konversation terminated!) |
| 2025-01-26 08:27:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-26 08:27:04 +0100 | euleritian | (~euleritia@dynamic-176-006-132-167.176.6.pool.telefonica.de) |
| 2025-01-26 08:26:43 +0100 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 244 seconds) |
| 2025-01-26 08:26:21 +0100 | <haskellbridge> | <Bowuigi> Nvm positivity doesn't do anything here, I just have to play more with glued evaluation |
| 2025-01-26 08:23:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-26 08:22:10 +0100 | son0p | (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) (Ping timeout: 265 seconds) |
| 2025-01-26 08:19:11 +0100 | <haskellbridge> | <Bowuigi> The keys seem to be glued evaluation (see: Kovacs elaboration-zoo and smalltt) and positivity (as in, the positive/negative position of a folded type application) |
| 2025-01-26 08:18:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-26 08:17:34 +0100 | <haskellbridge> | <Bowuigi> I want nice error messages without size blowups but I also want it to expand type synonyms to typecheck properly when it's sound to do so |