Skip to content
cabal

Fix sorts of bag theory operations in Theories.hs #527

Sign in to view logs

Fix sorts of bag theory operations in Theories.hs

Fix sorts of bag theory operations in Theories.hs #527

Annotations

1 warning

ghc-9.6.5 z3-4.10.2

ghc-9.6.5 z3-4.10.2
succeeded Dec 2, 2024 in 8m 44s