aboutsummaryrefslogtreecommitdiff
path: root/doc/code.tex
diff options
context:
space:
mode:
Diffstat (limited to 'doc/code.tex')
-rw-r--r--doc/code.tex18
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}
+}