diff options
Diffstat (limited to 'paper/intro-org.tex')
| -rw-r--r-- | paper/intro-org.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/paper/intro-org.tex b/paper/intro-org.tex index ee2a38d..70c5099 100644 --- a/paper/intro-org.tex +++ b/paper/intro-org.tex @@ -11,7 +11,7 @@ abstract syntax tree (AST). This AST is described in \autoref{sec:ast}. In \autoref{sec:eval} we will discuss different possibilities of evaluating mathematical expressions. Finally, in \autoref{sec:interp} we will propose a While interpreter. We finish by articulating the advantages of functional -interpretation in \autoref{sec:conclusions}. +interpretation in \autoref{sec:concl}. \autoref{sec:ftypes} lists the functions and types that the reader is supposed to know. |