Zulip Chat Archive
Stream: Is there code for X?
Topic: fin.range
Bolton Bailey (Sep 12 2022 at 17:13):
Is there a function with type signature fin.range (n : ℕ) : list (fin n) which returns a list of all the elements of fin n in order?
Kyle Miller (Sep 12 2022 at 17:15):
Last updated: Dec 20 2023 at 11:08 UTC