Add: Difference between revisions

Content added Content deleted

Inline

Latest revision as of 05:57, 9 July 2022

Add

x+y

The add function, generally denoted by +, is used for addition in K.

The add primitive is fully atomic.

 1+2
3

 1 2 3+4 5 6
5 7 9

 ((23;45);(3;4))+((45;78);(9;0))
(68 123
 12 4)

@@ Line 1: / Line 1: @@
 {{primitive|x+y}}
-The '''Add''' function, generally denoted by <code>+</code>, is used for addition in K.
+The '''add''' function, generally denoted by <code>+</code>, is used for addition in K.
-The ''Add'' primitive is [[Atomicity|fully atomic.]]<syntaxhighlight>
+The ''add'' primitive is [[Atomicity|fully atomic.]]<pre>
 +2
@@ Line 12: / Line 13: @@
 (68 123
 4)
+</pre>
-</syntaxhighlight>
+[[Category:Verbs]]
+[[Category:Operator verbs]]
+[[Category:Primitives]]