Add: Difference between revisions
change to pre tag
No edit summary |
(change to pre tag) |
||
Line 2:
The '''Add''' function, generally denoted by <code>+</code>, is used for addition in K.
The ''Add'' primitive is [[Atomicity|fully atomic.]]<
1+2
3
Line 12:
(68 123
12 4)
</pre>
|