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

Index - Z

Zero 
1 (Data Constructor)Agda.Utils.IndexedList
2 (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.Utils.Pretty
ZigZagModeAgda.Utils.Pretty
zipAgda.Utils.List1
zipAssocWithAgda.Termination.SparseMatrix
zipMatricesAgda.Termination.SparseMatrix
zipMemberShipWithAgda.Utils.SmallSet
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