Add: Difference between revisions
Content added Content deleted
(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>") |
No edit summary |
||
| Line 1: | Line 1: | ||
The '''Add''' function, generally denoted by |
The '''Add''' function, generally denoted by <code>+</code>, is used for addition in K. |
||
The ''Add'' primitive is [[Atomicity|fully atomic.]] |
The ''Add'' primitive is [[Atomicity|fully atomic.]] |
||
| Line 6: | Line 6: | ||
1+2 |
1+2 |
||
3 |
3 |
||
1 2 3+4 5 6 |
|||
5 7 9 |
|||
((23;45);(3;4))+((45;78);(9;0)) |
|||
(68 123 |
|||
12 4) |
|||
</pre> |
</pre> |
||
Revision as of 05:20, 7 July 2021
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)