zero | Agda.Termination.Semiring |
zeroElement | Agda.Termination.Semiring |
zeroName | Agda.TypeChecking.Level |
zeroWidthText | Agda.Utils.Pretty |
ZigZagMode | Agda.Utils.Pretty |
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 |
zipWithM | Agda.Utils.Monad |
zipWithM' | Agda.Utils.Monad |
zipWithM_ | Agda.Utils.Monad |