Add: Difference between revisions

169 bytes added ,  1 year ago
"Better category ordering, add redirects to categories, fix pseudo-adverb categories"
(Created page with "The '''Add''' function, generally denoted by `+`, is used for addition in K. The ''Add'' primitive is fully atomic. <pre> 1+2 3 </pre>")
 
("Better category ordering, add redirects to categories, fix pseudo-adverb categories")
 
(11 intermediate revisions by 3 users not shown)
Line 1:
{{primitive|x+y}}
The '''Add''' function, generally denoted by `+`, 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
 
1 2 3+4 5 6
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