<div dir="ltr">Hi Wolfgang, <div class="GmSign"></div><div><br></div><div>I've put together a small README for getting this up and running (both for using stack with pre-built Docker images, and from source). It can be found in the repository here: <a href="https://github.com/tweag/ghc/tree/linear-types">https://github.com/tweag/ghc/tree/linear-types</a>.<br><br>Hope this will help!<br><br>Cheers,</div><div>Edvard Hübinette</div></div>