type-settheory-0.1.3.1: Sets and functions-as-relations in the type system (Index - L)

type-settheory-0.1.3.1: Sets and functions-as-relations in the type system

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
:

Index - L

lem	Type.Logic
liftCompare	Type.Set
liftEq	Type.Set
liftShowsPrec	Type.Set
lookup	Type.Set.Example
Lower	Type.Dummies
Lower1	Type.Dummies
Lower1Element	Type.Dummies
Lower2	Type.Dummies
Lower2Element	Type.Dummies
Lower3	Type.Dummies
LowerElement	Type.Dummies
lowerFun	Type.Function