From 37ccc2bb0915cf5d39a7434805fe182a66d19258 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 25 Sep 2016 00:26:27 +0200
Subject: Update documentation: graph rewriting, code names list

---
 doc/code.tex | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 doc/code.tex

(limited to 'doc/code.tex')

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}
+}
-- 
cgit v1.2.3

