Skip to content

Insertion and removal at pairs of distinct indices#1969

Open
lowasser wants to merge 3 commits into
UniMath:masterfrom
lowasser:insertion-removal
Open

Insertion and removal at pairs of distinct indices#1969
lowasser wants to merge 3 commits into
UniMath:masterfrom
lowasser:insertion-removal

Conversation

@lowasser
Copy link
Copy Markdown
Collaborator

This required more shenanigans than I expected.

@lowasser lowasser added the lists label May 30, 2026
@lowasser lowasser requested a review from malarbol May 30, 2026 17:25
@lowasser lowasser mentioned this pull request May 30, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant