Update documentation: graph rewriting, code names list

1 files changed, 18 insertions, 0 deletions

diff --git a/doc/code.tex b/doc/code.tex
new file mode 100644
index 0000000..c25897a
--- /dev/null
+++ b/doc/code.tex
@@ -0,0 +1,18 @@
+\section{Builtin code names}
+\label{sec:code}
+
+
+{\renewcommand{\arraystretch}{1.3}
+	\begin{tabular}{l l l}
+		\textbf{Name} & \textbf{Type} & \textbf{Description} \\\hline
+		\fuspel{mul a b}
+			& Int $\to$ Int $\to$ Int
+			& Multiplies $a$ and $b$ \\
+		\fuspel{sub a b}
+			& Int $\to$ Int $\to$ Int
+			& Subtracts $a$ from $b$ \\
+		\fuspel{time}
+			& Int
+			& The current time in seconds since the Unix Epoch. \\
+	\end{tabular}
+}