Contents
Index
ghc-proofs-0.1.1: GHC plugin to prove program equations by simplification
Index
=/=
GHC.Proof
===
GHC.Proof
non_proof
GHC.Proof
plugin
GHC.Proof.Plugin
Proof
1 (Type/Class)
GHC.Proof
2 (Data Constructor)
GHC.Proof
proof
GHC.Proof