Add: Difference between revisions

67 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")
 
(7 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.]]<syntaxhighlight>
 
The ''Addadd'' primitive is [[Atomicity|fully atomic.]]<syntaxhighlightpre>
1+2
3
Line 11 ⟶ 13:
(68 123
12 4)
</pre>
</syntaxhighlight>
 
[[Category:Verbs]]
[[Category:Operator verbs]]
[[Category:Primitives]]
720

edits