[qsort]

Yes, of course there are. Now, imagine you're a language model, and given the prompt "I'm going to write code to explain what a finite summation is", try to predict the probability that what follows is "and I'm going to do it in Idris".

[zdkl]

To pick even more nits, symbolic calculus libraries à là Sympy for python get you the best of both worlds IME.

https://docs.sympy.org/latest/index.html