Add: Difference between revisions
Content added Content deleted
No edit summary |
(add examples) |
||
Line 3:
The ''Add'' primitive is [[Atomicity|fully atomic.]]
1+2
1 2 3+4 5 6
(68 123▼
▲ ((23;45);(3;4))+((45;78);(9;0))
▲(68 123
▲ 12 4)
|
Revision as of 05:23, 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)