Agda-2.8.0: 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 |
1 (Type/Class) | Agda.Interaction.JSON
2 (Data Constructor) | Agda.Utils.Size
3 (Data Constructor) | Agda.Utils.IndexedList
zero | Agda.Termination.Semiring
zeroCohesion | Agda.Syntax.Common
zeroElement | Agda.Termination.Semiring
zeroFlexRig | Agda.TypeChecking.Free.Lazy
ZeroHoles | Agda.Utils.AffineHole
zeroModality | Agda.Syntax.Common
zeroName | Agda.TypeChecking.Level
zeroPolarity | Agda.Syntax.Common
zeroQuantity | Agda.Syntax.Common
zeroRelevance | Agda.Syntax.Common
zeroWidthText | Agda.Syntax.Common.Pretty
ZigZagMode | Agda.Syntax.Common.Pretty
zip | Agda.Utils.List1
zipAssocWith | Agda.Termination.SparseMatrix
zipMatrices | Agda.Termination.SparseMatrix
zipNameSpace | Agda.Syntax.Scope.Base
Zipper | Agda.Utils.Zipper
zipScope | Agda.Syntax.Scope.Base
zipScope_ | Agda.Syntax.Scope.Base
zipWith | Agda.Utils.List1
zipWith' | Agda.Utils.List
zipWithKeepRest | Agda.Utils.List
zipWithM |
1 (Function) | Agda.Utils.Monad
2 (Function) | Agda.Utils.List1
zipWithM_ |
1 (Function) | Agda.Utils.Monad
2 (Function) | Agda.Utils.List1