Skip to content

Fix incompatibility with GHC 9.6#12

Merged
jbransen merged 3 commits intoUU-ComputerScience:masterfrom FPtje:fp/fix-ghc-9.6Aug 8, 2023

Commits

Commits on Aug 5, 2023