Contents
Index
gdp-0.0.3.0: Reason about invariants and preconditions with ghosts of departed proofs.
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
:
$
&
.
/
=
?
\
|
-
~
All
Index - F
Fact
Logic.Implicit
, GDP
FALSE
Logic.Propositional
, GDP
firstAnd
Logic.Propositional
, GDP
firstOr
Logic.Propositional
, GDP
ForAll
Logic.Propositional
, GDP
forP
Data.Refined
, GDP
forP_
Data.Refined
, GDP