Standard ML facts for kids
Here is an example of a factorial function written in a simple, non-tail recursive, style.
fun fac (0 : int) = 1 (* the : int part means that 0 and n are integers *) | fac (n : int) = n * fac (n - 1)
Standard ML Facts for Kids. Kiddle Encyclopedia.