Skip to content

Bignum: add integerNegate RULE

Sylvain Henry requested to merge hsyl20/ghc:hsyl20/bignum/negate_rule into master

Simple missing rule.

Merge request reports