20 Jul
2022
20 Jul
'22
9:02 p.m.
In the meantime, you could try this Gitpod setup that Andrea Bedini has been working on: https://github.com/andreabedini/ghc/tree/andrea/gitpod Cheers, Steve