Add: Difference between revisions

89 bytes added ,  1 year ago
"Better category ordering, add redirects to categories, fix pseudo-adverb categories"
No edit summary
("Better category ordering, add redirects to categories, fix pseudo-adverb categories")
 
(10 intermediate revisions by 3 users 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.]]
 
The ''Addadd'' primitive is [[Atomicity|fully atomic.]]<pre>
<pre>
1+2
3
Line 14:
12 4)
</pre>
 
[[Category:Verbs]]
[[Category:Operator verbs]]
[[Category:Primitives]]
720

edits