type-natural-1.1.0.1: Type-level natural and proofs of their properties.
Contents
Index
A
B
C
D
E
F
G
I
K
L
M
N
O
P
R
S
T
U
V
W
Z
:
%
*
+
<
=
>
@
^
-
All
Index - L
Leq
Data.Type.Natural.Lemma.Order
leqAntisymm
Data.Type.Natural.Lemma.Order
leqLhs
Data.Type.Natural.Lemma.Order
leqNeqToLT
Data.Type.Natural.Lemma.Order
leqNeqToSuccLeq
Data.Type.Natural.Lemma.Order
leqRefl
Data.Type.Natural.Lemma.Order
leqReflexive
Data.Type.Natural.Lemma.Order
leqRhs
Data.Type.Natural.Lemma.Order
leqStep
Data.Type.Natural.Lemma.Order
LeqSucc
Data.Type.Natural.Lemma.Order
leqSucc
Data.Type.Natural.Lemma.Order
leqSucc'
Data.Type.Natural.Lemma.Order
leqSuccStepL
Data.Type.Natural.Lemma.Order
leqSuccStepR
Data.Type.Natural.Lemma.Order
leqToCmp
Data.Type.Natural.Lemma.Order
leqToGT
Data.Type.Natural.Lemma.Order
leqToLT
Data.Type.Natural.Lemma.Order
leqToMax
Data.Type.Natural.Lemma.Order
leqToMin
Data.Type.Natural.Lemma.Order
leqTrans
Data.Type.Natural.Lemma.Order
LeqView
Data.Type.Natural.Lemma.Order
leqViewRefl
Data.Type.Natural.Lemma.Order
LeqWitness
Data.Type.Natural.Lemma.Order
leqWitness
Data.Type.Natural.Lemma.Order
LeqZero
Data.Type.Natural.Lemma.Order
leqZero
Data.Type.Natural.Lemma.Order
leqZeroElim
Data.Type.Natural.Lemma.Order
lneqReversed
Data.Type.Natural.Lemma.Order
lneqRightPredSucc
Data.Type.Natural.Lemma.Order
lneqSucc
Data.Type.Natural.Lemma.Order
lneqSuccLeq
Data.Type.Natural.Lemma.Order
lneqSuccStepL
Data.Type.Natural.Lemma.Order
lneqSuccStepR
Data.Type.Natural.Lemma.Order
lneqToLT
Data.Type.Natural.Lemma.Order
lneqZero
Data.Type.Natural.Lemma.Order
lneqZeroAbsurd
Data.Type.Natural.Lemma.Order
Log2
Data.Type.Natural
, Data.Type.Natural.Builtin
ltRightPredSucc
Data.Type.Natural.Lemma.Order
ltSucc
Data.Type.Natural.Lemma.Order
ltSuccLToLT
Data.Type.Natural.Lemma.Order
ltToLeq
Data.Type.Natural.Lemma.Order
ltToLneq
Data.Type.Natural.Lemma.Order
ltToNeq
Data.Type.Natural.Lemma.Order
ltToSuccLeq
Data.Type.Natural.Lemma.Order