Contents
Index
Monocle-0.0.2: Symbolic computations in strict monoidal categories with LaTeX output.
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
Z
\
Index - D
dagger
Monocle
dagger'of
Monocle
dagger'r
Monocle
dagger'rule'Cofunctor
Monocle
dagger'rule'Id
Monocle
dagger'rule'Inv
Monocle
DefEqual
Monocle.Core
doc
Monocle.Tex
dom
Monocle.Core
dom'
Monocle.Core