ghc-proofs-0.1.1: GHC plugin to prove program equations by simplification (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