/Prelude-v21.1.0/List/length.dhall
Copy path to clipboardReturns the number of elements in a list
Examples
length Natural [ 0, 1, 2 ] ≡ 3
length Natural ([] : List Natural) ≡ 0
Returns the number of elements in a list
length Natural [ 0, 1, 2 ] ≡ 3
length Natural ([] : List Natural) ≡ 0