There is a function which is usually called range in other languages: it takes a natural n, and returns a list of naturals [0,1,2,...,n-1]. Does the Coq standard library have this function, and if so, what is it called?
$\begingroup$
$\endgroup$
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
It's called seq, although it's not literally what you ask for, since it receives two arguments: the starting point and the length. So range n = seq 0 n.
