[Git][ghc/ghc] Pushed new branch wip/amg/dcoercion-TransCoDCo

[Adam Gundry (@adamgundry)]

Adam Gundry pushed new branch wip/amg/dcoercion-TransCoDCo at Glasgow Haskell Compiler / GHC

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/amg/dcoercion-TransCoDCo
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20221028/81712cc0/attachment.html>