Implementation issues: state splitting, linking input to output state,
checking usage constraints on state variables.
- \section{Recursion}
+
+ \section[sec:recursion]{Recursion}
An import concept in functional languages is recursion. In it's most basic
form, recursion is a function that is defined in terms of itself. This
usually requires multiple evaluations of this function, with changing