Index - Z
| Zero | Agda.Utils.IndexedList |
| zero | Agda.Termination.Semiring |
| zeroElement | Agda.Termination.Semiring |
| ZeroHoles | Agda.Utils.AffineHole |
| zeroName | Agda.TypeChecking.Level |
| zeroWidthText | Agda.Utils.Pretty |
| ZigZagMode | Agda.Utils.Pretty |
| zipAssocWith | Agda.Termination.SparseMatrix |
| zipMatrices | Agda.Termination.SparseMatrix |
| zipNameSpace | Agda.Syntax.Scope.Base |
| zipNe | Agda.Utils.NonemptyList |
| Zipper | Agda.Utils.Zipper |
| zipScope | Agda.Syntax.Scope.Base |
| zipScope_ | Agda.Syntax.Scope.Base |
| zipWith' | Agda.Utils.List |
| zipWithKeepRest | Agda.Utils.List |
| zipWithNe | Agda.Utils.NonemptyList |