Skip to main content

List.init

init

Group: Selections

Documentation​

Get all elements from the list except the last.

Examples​

Removing the last element of the list to give (Cons 1 Nil).​

      import Standard.Examples

      example_init = Examples.list.init