zero | Agda.Termination.Semiring |
zeroElement | Agda.Termination.Semiring |
zeroName | Agda.TypeChecking.Level |
zeroWidthText | Agda.Utils.Pretty |
ZigZagMode | Agda.Utils.Pretty |
zipNameSpace | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
zipScope | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
zipScope_ | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
zipWith | Agda.Termination.Matrix |
zipWithM' | Agda.Utils.Monad |