pop_operation (170B)
1 # Pop operation 2 3 Given a non-empty [word] w and a side (left or right), remove the endpoint [letter] 4 5 See also: [push_operation] 6 7 Aliases: pop operations 8 9 Up: [deletion]
wiki_researchpersonal research wiki | |
| git clone https://a3nm.net/git/wiki_research/ | |
| Log | Files | Refs |