Skip to content

Rename append and prepend to append_list and prepend_list, add Bwd.append#32

Open
TOTBWF wants to merge 2 commits into
RedPRL:mainfrom
TOTBWF:append
Open

Rename append and prepend to append_list and prepend_list, add Bwd.append#32
TOTBWF wants to merge 2 commits into
RedPRL:mainfrom
TOTBWF:append

Conversation

@TOTBWF

@TOTBWF TOTBWF commented Dec 18, 2024

Copy link
Copy Markdown

See #31 for discussion.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant