Newest at the top
| 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? |
| 2025-01-26 07:03:25 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-26 07:03:18 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-26 07:02:48 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-26 07:01:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 06:52:54 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-26 06:50:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-26 06:50:50 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-26 06:50:36 +0100 | <Guest2> | yes... the ghc script has `/home/xxx` hard-coded everywhere. And the hls script ... probablyu ghcup created those scripts and hard-coded it everywhere |
| 2025-01-26 06:50:27 +0100 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 252 seconds) |
| 2025-01-26 06:48:33 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-26 06:46:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-26 06:46:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-26 06:44:51 +0100 | <Guest2> | seems the home directory is hard-coded somewhere, instead of using $HOME |
| 2025-01-26 06:44:05 +0100 | <Guest2> | ``` |
| 2025-01-26 06:44:04 +0100 | <Guest2> | .../.ghcup/bin/ghc: line 10: /home/xxx/.ghcup/ghc/9.4.8/lib/ghc-9.4.8/bin/./ghc-9.4.8: No such file or directory |
| 2025-01-26 06:44:04 +0100 | <Guest2> | ghc --numeric-version |
| 2025-01-26 06:44:03 +0100 | <Guest2> | ``` |
| 2025-01-26 06:44:03 +0100 | <Guest2> | I manually added to the PATH. And it seems to be getting further in VSCode but it is looking for stuff in `/home/...` and that is not where my user home is. |
| 2025-01-26 06:43:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-26 06:40:24 +0100 | dsrt^ | (~dsrt@108.192.66.114) (Ping timeout: 272 seconds) |
| 2025-01-26 06:39:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |