ghc-proofs-0.1.1: GHC plugin to prove program equations by simplification
GHC.Proof.Plugin
Description
See GHC.Proof.
plugin :: Plugin Source #