diff options
Diffstat (limited to 'doc/code.tex')
| -rw-r--r-- | doc/code.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/code.tex b/doc/code.tex index 09e8d4a..deeade9 100644 --- a/doc/code.tex +++ b/doc/code.tex @@ -42,6 +42,9 @@ \fuspel{time} & Int & The current time in seconds since the Unix Epoch. \\ + \fuspel{trace} + & $a\to b\to b$ + & \fuspel{trace x y} prints \fuspel{x} to stdout and returns \fuspel{y}. \\ \end{tabular} } \end{center} |