Skip to content

improve pow axiomatization #843

improve pow axiomatization

improve pow axiomatization #843

Haskell-CI - Linux - ghc-9.10.1

succeeded Oct 8, 2024 in 5m 57s