Zulip Chat Archive
Stream: Is there code for X?
Topic: Nat List given lower and upper limit
Asei Inoue (Jul 01 2024 at 14:19):
Given a lower limit l and an upper limit u, is there a function in the library that produces a list of values that are greater than or equal to l and less than or equal to u?
Yaël Dillies (Jul 01 2024 at 14:19):
... as a List
?
Asei Inoue (Jul 01 2024 at 14:20):
Yes as List
, or Std.range
Markus Himmel (Jul 01 2024 at 14:22):
For an Std.Range
you can write [l:u+1]
Asei Inoue (Jul 01 2024 at 14:32):
how about List
?
Asei Inoue (Jul 01 2024 at 14:32):
@Markus Himmel Thank you!
Yaël Dillies (Jul 01 2024 at 14:32):
Last updated: May 02 2025 at 03:31 UTC