From b97063f65017cad107c870fefd39069f34bbf7ab Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Thu, 6 Oct 2016 16:58:33 +0200 Subject: Adds a trace code --- doc/code.tex | 3 +++ 1 file changed, 3 insertions(+) (limited to 'doc/code.tex') 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} -- cgit v1.2.3