diff options
| author | Camil Staps | 2016-09-25 00:26:27 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-09-25 00:26:45 +0200 |
| commit | 37ccc2bb0915cf5d39a7434805fe182a66d19258 (patch) | |
| tree | 5321c28ca4dd248d0f4ba0ab781ae2340e565317 | |
| parent | Cleanup: unsigned -> bool (stdbool.h) (diff) | |
Update documentation: graph rewriting, code names list
| -rw-r--r-- | doc/code.tex | 18 | ||||
| -rw-r--r-- | doc/doc.tex | 5 |
2 files changed, 22 insertions, 1 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} +} 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} |