There is another thread on this topic and apparently some others agree with me that List.nth is not quite right. What I don’t like is that it is inconsistent with other List functions that don’t return lists, like List.mem.
There is another thread on this topic and apparently some others agree with me that List.nth is not quite right. What I don’t like is that it is inconsistent with other List functions that don’t return lists, like List.mem.