Math generally suffers from a great deal less precision than Haskell. It’s always a treat for me as a Haskell user to find a math or physics text that’s truly notationally precise. Only authors who really understand what they’re doing at a deep level can pull it off.

Have you read Structure and Interpretation of Classical Mechanics by any chance? Sounds right up your alley.

I have not, thank you for the ref

Just to be sure, the web version of the second edition is freely available at https://mitpress.mit.edu/sites/default/files/titles/content/... .