MiniAgda (Index - Z)

MiniAgda

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
$
+
<
=
\
All

Index - Z

Zero
1 (Data Constructor)	Abstract
2 (Data Constructor)	Concrete
zero	Semiring
zeroElement	Semiring
zip	SparseMatrix
zipPair	Util
zipWith12	TCM
zipWith123	TCM