Add: Difference between revisions
Content added Content deleted
(add syntaxhighlight) |
No edit summary |
||
Line 1: | Line 1: | ||
The '''Add''' function, generally denoted by <code>+</code>, is used for addition in K. |
The '''Add''' function, generally denoted by <code>+</code>, is used for addition in K. |
||
The ''Add'' primitive is [[Atomicity|fully atomic.]]<syntaxhighlight |
The ''Add'' primitive is [[Atomicity|fully atomic.]]<syntaxhighlight> |
||
1+2 |
1+2 |
||
3 |
3 |
Revision as of 17:19, 8 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)