Index - Z
| Zero | Agda.Utils.IndexedList |
| zero | Agda.Termination.Semiring |
| zeroElement | Agda.Termination.Semiring |
| zeroName | Agda.TypeChecking.Level |
| zeroWidthText | Agda.Utils.Pretty |
| ZigZagMode | Agda.Utils.Pretty |
| zipAssocWith | Agda.Termination.SparseMatrix |
| zipBlockingVars | Agda.TypeChecking.Coverage.Match |
| zipMatrices | Agda.Termination.SparseMatrix |
| zipNameSpace | Agda.Syntax.Scope.Base |
| zipScope | Agda.Syntax.Scope.Base |
| zipScope_ | Agda.Syntax.Scope.Base |
| zipWith' | Agda.Utils.List |