| 7 Sep 2025 |
 emily | all I want for Christmas is someone to make Hadrian cross work | 20:20:27 |
| emily | except not so quickly that I feel like I wasted all that time | 20:20:40 |
 Alex | At this point, would it be less effort to compile GHC with MicroHs?
(I haven't been trying in a while, need to revisit it when I get the time.) | 20:21:21 |
| emily | I doubt it, since I sorted the LLVM patches in a few days but AFAIK MicroHs is lacking several major type system extensions to even think about compiling GHC? | 20:22:23 |
| Alex | Last I checked, the main limitation was DataKinds being missing + a lot of GHC-specific code like the fast strings. | 20:24:09 |
