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

Index - Z

Zero 
1 (Data Constructor)Agda.Utils.IndexedList
2 (Data Constructor)Agda.Utils.Size
3 (Type/Class)Agda.Interaction.JSON
zeroAgda.Termination.Semiring
zeroCohesionAgda.Syntax.Common
zeroElementAgda.Termination.Semiring
zeroFlexRigAgda.TypeChecking.Free.Lazy
ZeroHolesAgda.Utils.AffineHole
zeroModalityAgda.Syntax.Common
zeroNameAgda.TypeChecking.Level
zeroQuantityAgda.Syntax.Common
zeroRelevanceAgda.Syntax.Common
zeroWidthTextAgda.Syntax.Common.Pretty
ZigZagModeAgda.Syntax.Common.Pretty
zipAgda.Utils.List1
zipAssocWithAgda.Termination.SparseMatrix
zipMatricesAgda.Termination.SparseMatrix
zipNameSpaceAgda.Syntax.Scope.Base
ZipperAgda.Utils.Zipper
zipScopeAgda.Syntax.Scope.Base
zipScope_Agda.Syntax.Scope.Base
zipWithAgda.Utils.List1
zipWith'Agda.Utils.List
zipWithKeepRestAgda.Utils.List
zipWithMAgda.Utils.List1
zipWithM_Agda.Utils.List1