-
Notifications
You must be signed in to change notification settings - Fork 24
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add REMOVE ELEMENT AT for lists #214
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I've realized the only way to delete an element from a list right now is to delete every element of the list from the tail up to that element, and then re-add every element back into the list, which is terribly inefficient. I was thinking that we maybe should add a "REMOVE ELEMENT AT" command to delete elements from a list that are not in the last position.
The text was updated successfully, but these errors were encountered: