| 15 Sep 2025 |
 MangoIV | i don't understand how it came to be that they exposed that stuff but are reluctant to make withDict work for data dicts | 13:36:13 |
 emily | building libraries separate from compilers and never mixing multiple compiler build/host/target builds in one derivation is all I want in this world 🙏 | 13:36:22 |
| MangoIV | that seems absurd to me | 13:36:23 |
| emily | implicit parameters don't screw with the semantics of normal type classes | 13:37:03 |
| MangoIV | yeah but they're special cased in all kinds of ways | 13:37:24 |
| emily | is there an obstacle to still using Hadrian to build one stage but then layering those with Nix? | 13:37:39 |
| emily | if that could solve cross then it feels like an easier intermediate step | 13:37:51 |
