Newest at the top
| 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 |
| 2025-01-26 08:16:39 +0100 | <haskellbridge> | <Bowuigi> Hmmm I think I'm close to finding a solution to whether a type alias should be expanded or not in System F omega |
| 2025-01-26 08:11:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 08:09:58 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-26 08:09:08 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-26 08:05:16 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 252 seconds) |
| 2025-01-26 07:59:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-26 07:55:56 +0100 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2025-01-26 07:54:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 07:45:23 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-26 07:43:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-26 07:41:47 +0100 | alp | (~alp@2001:861:8ca0:4940:eb00:e50a:c19c:d6cb) (Ping timeout: 252 seconds) |
| 2025-01-26 07:41:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |