chore: update list.bend

occurence -> occurrence
This commit is contained in:
Ikko Eltociear Ashimine 2024-06-27 02:57:53 +09:00 committed by GitHub
parent 8440fad2a4
commit e44f68ba8c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -125,7 +125,7 @@ pop_back (List/Cons head tail) = (List/Cons head (pop_back tail))
# List remove:
# List l -> Some s -> List l
# removes the first occurence of element e from list l.
# removes the first occurrence of element e from list l.
remove = @l @s
match l {
List/Cons:
@ -169,4 +169,4 @@ def main:
# return reverse([1, 2, 3, 4, 5])
# return append([1, 2], 3)
# return add_front([2, 3], 1)
# return concat([1, 2], [3, 4])
# return concat([1, 2], [3, 4])