Idris2Doc
: Data.Vect.Utils
Index
Default
Alternative
Black & White
Data.Vect.Utils
(
source
)
Definitions
pairUp
:
Vect
(
S
n
)
a
->
Vect
n
(
a
,
a
)
Visibility
:
public export