Add: Difference between revisions

80 bytes added ,  2 years ago
no edit summary
(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:
The '''Add''' function, generally denoted by `<code>+`</code>, is used for addition in K.
 
The ''Add'' primitive is [[Atomicity|fully atomic.]]
Line 6:
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>