> > FYI the Inria paper link in the readme seems to not be correct? > The HAL-Inria server seems to be down at the moment. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20210710/2e995f64/attachment.html>