Add: Difference between revisions
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>"
(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 difference)
|