## Mathematica Implementation of QuickSort using Repeated Rule Substitution

Correspondance between replacement rules and function definitions One can view Mathematica functions as simply a global replacement rule which is used to substitute variables (formally $\alpha$ »