Agda-2.3.0: A dependently typed functional programming language and proof assistant

Index - Z

zeroAgda.Termination.Semiring
zeroElementAgda.Termination.Semiring
zeroNameAgda.TypeChecking.Level
zeroWidthTextAgda.Utils.Pretty
ZigZagModeAgda.Utils.Pretty
zipNameSpaceAgda.Syntax.Scope.Base, Agda.Interaction.GhciTop
zipScopeAgda.Syntax.Scope.Base, Agda.Interaction.GhciTop
zipScope_Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop
zipWithAgda.Termination.Matrix
zipWith'Agda.Utils.List
zipWithM'Agda.Utils.Monad