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: May 02 2025 at 03:31 UTC