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