Index - Z
| Zero | |
| 1 (Data Constructor) | Agda.Utils.IndexedList |
| 2 (Type/Class) | Agda.Interaction.JSON |
| zero | Agda.Termination.Semiring |
| zeroCohesion | Agda.Syntax.Common |
| zeroElement | Agda.Termination.Semiring |
| zeroFlexRig | Agda.TypeChecking.Free.Lazy |
| ZeroHoles | Agda.Utils.AffineHole |
| zeroModality | Agda.Syntax.Common |
| zeroName | Agda.TypeChecking.Level |
| zeroQuantity | Agda.Syntax.Common |
| zeroRelevance | Agda.Syntax.Common |
| zeroWidthText | Agda.Utils.Pretty |
| ZigZagMode | Agda.Utils.Pretty |
| zip | Agda.Utils.List1 |
| zipAssocWith | Agda.Termination.SparseMatrix |
| zipMatrices | Agda.Termination.SparseMatrix |
| zipMembershipWith | Agda.Utils.SmallSet |
| zipNameSpace | Agda.Syntax.Scope.Base |
| Zipper | Agda.Utils.Zipper |
| zipScope | Agda.Syntax.Scope.Base |
| zipScope_ | Agda.Syntax.Scope.Base |
| zipWith | Agda.Utils.List1 |
| zipWith' | Agda.Utils.List |
| zipWithKeepRest | Agda.Utils.List |
| zipWithM | Agda.Utils.List1 |
| zipWithM_ | Agda.Utils.List1 |