[Git][ghc/ghc] Pushed new branch wip/ttg-BooleanFormula-a

[Hassan Al-Awwadi (@hassan.awwadi)]

Hassan Al-Awwadi pushed new branch wip/ttg-BooleanFormula-a at Glasgow Haskell Compiler / GHC

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/ttg-BooleanFormula-a
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/20241020/e6055948/attachment.html>