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

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Y
- Z
- :
- !
- $
- %
- +
- .
- /
- <
- =
- >
- ^
- -
- _
- All

Index - Z

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
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