ghc-proofs-0.1.1: GHC plugin to prove program equations by simplification

Safe HaskellNone
LanguageHaskell2010

GHC.Proof.Plugin

Description

See GHC.Proof.

Documentation

plugin :: Plugin Source #