Negate: Difference between revisions
Content added Content deleted
("Add all appropriate categories to each verb") |
("Better category ordering, add redirects to categories, fix pseudo-adverb categories") |
||
| Line 17: | Line 17: | ||
</pre> |
</pre> |
||
| ⚫ | |||
[[Category:Verbs]] |
[[Category:Verbs]] |
||
| ⚫ | |||
[[Category:Primitives]] |
[[Category:Primitives]] |
||
Revision as of 06:42, 9 July 2022
Negate
-x
The negate function, generally denoted by -, is used for getting the additive inverse of a number in K(numeric negation).
When applied directly to a numeric literal, - should be followed by a space to prevent it from becoming the sign of its first item.
The negate primitive is right atomic.
-[3] -3 - 9 8 7 -9 -8 -7 -(9;(8;-56);(7;-65)) (-9 -8 56 -7 65)