Negate: Difference between revisions
"Paragraph cleanup"
(add negate page) |
("Paragraph cleanup") |
||
| (8 intermediate revisions by 2 users not shown) | |||
Line 1:
{{primitive|-x}}
The '''negate''' function, generally denoted by <code>-</code>, is used for getting the additive inverse of a number in K(numeric negation).
When applied directly to a numeric literal, <code>-</code> should be followed by a space to prevent it from becoming the sign of its first item.
The negate primitive is [[Atomicity|right atomic.]]<pre>
Line 6 ⟶ 9:
-3
-
-9 -8 -7
Line 14 ⟶ 17:
-7 65)
</pre>
[[Category:Verbs]]
[[Category:Operator verbs]]
[[Category:Primitives]]
| |||