Divergence [here] means that the reduction process never terminates or ends. Reducing terms should ordinarily converge to beta normal form, and divergence is the opposite of convergence, or normal form. Normal form is also sometimes called canonical form.
Divergence [here] means that the reduction process never terminates or ends. Reducing terms should ordinarily converge to beta normal form, and divergence is the opposite of convergence, or normal form. Normal form is also sometimes called canonical form.