<div dir="ltr"><div style="font-family:arial,sans-serif" class="gmail_default">In the meantime, you could try this Gitpod setup that Andrea Bedini  has been working on:</div><div style="font-family:arial,sans-serif" class="gmail_default"><br></div><div style="font-family:arial,sans-serif;margin-left:40px" class="gmail_default"><a href="https://github.com/andreabedini/ghc/tree/andrea/gitpod">https://github.com/andreabedini/ghc/tree/andrea/gitpod</a></div><div style="font-family:arial,sans-serif" class="gmail_default"><br></div><div style="font-family:arial,sans-serif" class="gmail_default">Cheers,</div><div style="font-family:arial,sans-serif" class="gmail_default">Steve</div><br></div>