Skip to content

Document behaviour of RULES with KnownNat

Bodigrim requested to merge Bodigrim/ghc:t21093/rules-with-KnownNat into master

Closes #21093 (closed) as suggested in #21093 (comment 422497)

Merge request reports