Agda-2.2.10: A dependently typed functional programming language and proof assistantContentsIndex
ABCDEFGHIJKLMNOPQRSTUVWXYZ:!$&+./<=>|-
Index (Z)
zero
zeroElement
zeroName
zeroWidthText
ZigZagMode
zipNameSpace
zipScope
zipScope_
zipWith
zipWithM'