Zero | Agda.Utils.IndexedList |
zero | Agda.Termination.Semiring |
zeroElement | Agda.Termination.Semiring |
ZeroHoles | Agda.Utils.AffineHole |
zeroName | Agda.TypeChecking.Level |
zeroWidthText | Agda.Utils.Pretty |
ZigZagMode | Agda.Utils.Pretty |
zipAssocWith | Agda.Termination.SparseMatrix |
zipBlockingVars | Agda.TypeChecking.Coverage.Match |
zipMatrices | Agda.Termination.SparseMatrix |
zipNameSpace | Agda.Syntax.Scope.Base |
zipNe | Agda.Utils.NonemptyList |
Zipper | Agda.Utils.Zipper |
zipScope | Agda.Syntax.Scope.Base |
zipScope_ | Agda.Syntax.Scope.Base |
zipWith' | Agda.Utils.List |
zipWithKeepRest | Agda.Utils.List |
zipWithNe | Agda.Utils.NonemptyList |