[Bug] Fix 'isNormalType' and add 'prop_normalizedTypeIsNormal' #6272
IOG Hydra / ci/hydra-build:x86_64-darwin.ghc810.packages.plutus-metatheory:lib:plutus-metatheory
succeeded
Jul 1, 2024 in 9m 2s
Build succeeded
1 failed steps
Loading