hodgedual

You know, I never understood this. Limits (how a function behaves as dx approaches zero) are much easier (for me) to understand than infinitesimals (an idea which obviously can't even exist on the real line), and it's much harder to end up in contradiction.

Any compiler or linter would likely complain about unused variables or code in such a situation.