equational-reasoning-0.5.1.1: Proof assistant for Haskell using DataKinds & PolyKinds

Index - W

withEmptyProof.Propositional.Empty, Proof.Propositional
withEmpty'Proof.Propositional.Empty, Proof.Propositional
withInhabitedProof.Propositional.Inhabited, Proof.Propositional
withReflProof.Equational
withSingProof.Equational
withSingIProof.Equational
withSomeSingProof.Equational
withWitnessProof.Propositional
WitnessProof.Propositional
wrapProof.Equational