Add: Difference between revisions

93 bytes added ,  1 year ago
"Better category ordering, add redirects to categories, fix pseudo-adverb categories"
(add examples)
("Better category ordering, add redirects to categories, fix pseudo-adverb categories")
 
(9 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>
1+2
31+2
3
 
1 2 3+4 5 6
51 72 3+4 5 96
5 7 9
 
((23;45);(3;4))+((45;78);(9;0))
(68 123
12 4)
</pre>
 
[[Category:Verbs]]
[[Category:Operator verbs]]
[[Category:Primitives]]
720

edits