Hi Hécate,

What would help here is a Gitpod or GitHub Codespace for working on GHC. I've been meaning to set up a Gitpod following the recent article by Cheng Shao:

I'll see if I can find time this weekend, but don't let that stop anyone from giving it a go.

Cheers,

Steve