I am wondering whether "derv" is good naming

[bast]

I just took something but possibly there is a better, more intuitive name.

Ideas:

• derivative
• differentiate

[robertodr]

I like derv 😸 Later we might make it do contractions directly, so a more general name might be a good idea.