diff options
author | Camil Staps | 2016-10-06 16:58:33 +0200 |
---|---|---|
committer | Camil Staps | 2016-10-06 16:58:33 +0200 |
commit | b97063f65017cad107c870fefd39069f34bbf7ab (patch) | |
tree | 0b07569b026873076b7c21c7b3c0a9d4494a24c7 /doc/code.tex | |
parent | Examples (diff) |
Adds a trace code
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} |