\section{Recursion}
The main problems of recursion have been described in
-\at{section}[sec:recursion]. In the current implementation, recursion is
+\in{section}[sec:recursion]. In the current implementation, recursion is
therefore not possible, instead we rely on a number of implicit list-recursive
builtin functions.
\item A large combinatoric expressions that would introduce a very long
combinatoric path and thus limit clock frequency. Such an expression could
be broken up into multiple stages, which effectively results in a pipelined
- system (see also \at{section}[sec:future:pipelining]) with a known delay.
+ system (see also \in{section}[sec:future:pipelining]) with a known delay.
There should probably be some way for the developer to specify the cycle
division of the expression, since automatically deciding on such a division
is too complex and contains too many tradeoffs, at least initially.