Add: Difference between revisions
Content added Content deleted
(change to pre tag) |
m (Lowercase title) |
||
| Line 1: | Line 1: | ||
{{lowercase title}} |
|||
{{primitive|x+y}} |
{{primitive|x+y}} |
||
The ''' |
The '''add''' function, generally denoted by <code>+</code>, is used for addition in K. |
||
The '' |
The ''add'' primitive is [[Atomicity|fully atomic.]]<pre> |
||
1+2 |
1+2 |
||
3 |
3 |
||
Revision as of 20:42, 8 July 2022
Add
x+y
The add function, generally denoted by +, is used for addition in K.
The add primitive is fully atomic.
1+2 3 1 2 3+4 5 6 5 7 9 ((23;45);(3;4))+((45;78);(9;0)) (68 123 12 4)