Add: Difference between revisions

73 bytes added ,  1 year ago
"Better category ordering, add redirects to categories, fix pseudo-adverb categories"
(change to pre tag)
("Better category ordering, add redirects to categories, fix pseudo-adverb categories")
 
(4 intermediate revisions by the same user not shown)
Line 1:
{{primitive|x+y}}
The '''Add''' function, generally denoted by <code>+</code>, is used for addition in K.
 
The '''Addadd''' function, generally denoted by <code>+</code>, is used for addition in K.
The ''Add'' primitive is [[Atomicity|fully atomic.]]<pre>
 
The ''Addadd'' primitive is [[Atomicity|fully atomic.]]<pre>
1+2
3
Line 13 ⟶ 14:
12 4)
</pre>
 
[[Category:Verbs]]
[[Category:Operator verbs]]
[[Category:Primitives]]
720

edits