Contents
Index
equational-reasoning-0.6.0.2: Proof assistant for Haskell using DataKinds & PolyKinds
Index
/\
Proof.Propositional
:-
Proof.Equational
:/\:
Proof.Equational
:=:
Proof.Equational
:\/:
Proof.Equational
:~:
Proof.Equational
=<=
Proof.Equational
===
Proof.Equational
=>=
Proof.Equational
=~=
Proof.Equational
admitted
Proof.Equational
andAssocL
Proof.Propositional
andAssocR
Proof.Propositional
andElimL
Proof.Propositional
andElimR
Proof.Propositional
andIntro
Proof.Propositional
apply
Proof.Equational
applyNAry
Proof.Equational
applyNAry'
Proof.Equational
Args
Proof.Equational
asProxyTypeOf
Proof.Equational
Because
Proof.Equational
because
Proof.Equational
by
Proof.Equational
byDefinition
Proof.Equational
coerce
Proof.Equational
coerce'
Proof.Equational
cong
Proof.Equational
cong'
Proof.Equational
eliminate
Proof.Propositional.Empty
,
Proof.Propositional
Empty
Proof.Propositional.Empty
,
Proof.Propositional
Equality
Proof.Equational
exfalso
Proof.Propositional
FromBool
Proof.Equational
fromBool
Proof.Equational
fromBool'
Proof.Equational
fromLeibniz
Proof.Equational
fromRefl
Proof.Equational
HNil
Proof.Equational
HVec
Proof.Equational
Inhabited
Proof.Propositional.Inhabited
,
Proof.Propositional
IsTrue
Proof.Propositional
KProxy
1 (Data Constructor)
Proof.Equational
2 (Type/Class)
Proof.Equational
Leibniz
1 (Type/Class)
Proof.Equational
2 (Data Constructor)
Proof.Equational
leibnizToRefl
Proof.Equational
Not
Proof.Propositional
orAssocL
Proof.Propositional
orAssocR
Proof.Propositional
orElim
Proof.Propositional
OriginalProp
Proof.Equational
orIntroL
Proof.Propositional
orIntroR
Proof.Propositional
Predicate
Proof.Equational
Preorder
Proof.Equational
Proposition
Proof.Equational
prove
Proof.Propositional
Proxy
1 (Data Constructor)
Proof.Equational
2 (Type/Class)
Proof.Equational
Reason
Proof.Equational
Refl
Proof.Equational
reflexivity
Proof.Equational
reflexivity'
Proof.Equational
reflToLeibniz
Proof.Equational
refute
Proof.Propositional
start
Proof.Equational
sym
Proof.Equational
symmetry
Proof.Equational
trans
Proof.Equational
transitivity
Proof.Equational
trivial
Proof.Propositional.Inhabited
,
Proof.Propositional
unWrap
Proof.Equational
withEmpty
Proof.Propositional.Empty
,
Proof.Propositional
withEmpty'
Proof.Propositional.Empty
,
Proof.Propositional
withInhabited
Proof.Propositional.Inhabited
,
Proof.Propositional
withRefl
Proof.Equational
withWitness
Proof.Propositional
Witness
Proof.Propositional
wrap
Proof.Equational
\/
Proof.Propositional