Newest at the top
| 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) |
| 2025-01-26 07:40:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-01-26 07:38:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 07:35:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-26 07:27:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-26 07:23:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 07:12:56 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-26 07:12:53 +0100 | <haskellbridge> | <thirdofmay18081814goya> ah. github mislabeled their libraries repo C code lol |
| 2025-01-26 07:12:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-26 07:10:20 +0100 | <haskellbridge> | <thirdofmay18081814goya> ah their main repo has samples |
| 2025-01-26 07:09:11 +0100 | <haskellbridge> | <thirdofmay18081814goya> bdub: can't seem to find whether they're in haskell or in koka |
| 2025-01-26 07:07:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 07:07:07 +0100 | <haskellbridge> | <bdub> Their page has libraries... |
| 2025-01-26 07:06:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-26 07:05:43 +0100 | tnt2 | tnt1 |
| 2025-01-26 07:04:46 +0100 | <haskellbridge> | <thirdofmay18081814goya> does anyone know of any repo written in koka? |