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 ++++++++++++++++++
 doc/doc.tex  |  5 ++++-
 2 files changed, 22 insertions(+), 1 deletion(-)
 create mode 100644 doc/code.tex

(limited to 'doc')

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}
+}
diff --git a/doc/doc.tex b/doc/doc.tex
index db13f24..ee5e444 100644
--- a/doc/doc.tex
+++ b/doc/doc.tex
@@ -39,7 +39,7 @@
 \begin{abstract}
 	This document describes Fuspel,
 	a minimal, untyped, lazy functional programming language
-	based on term rewriting.
+	based on term graph rewriting.
 	It can run with even a few kB of RAM.
 	This document describes the language's syntax and semantics.
 	It accompanies version \gitcommithash{} of the C interpreter at
@@ -53,6 +53,9 @@
 
 \appendix
 
+\clearpage
 \input{grammar}
+\clearpage
+\input{code}
 
 \end{document}
-- 
cgit v1.2.3