add
Add
x+y
The add function, generally denoted by +
, is used for addition in K.
The add primitive is fully atomic.
1+2 3 1 2 3+4 5 6 5 7 9 ((23;45);(3;4))+((45;78);(9;0)) (68 123 12 4)
The add function, generally denoted by +
, is used for addition in K.
The add primitive is fully atomic.
1+2 3 1 2 3+4 5 6 5 7 9 ((23;45);(3;4))+((45;78);(9;0)) (68 123 12 4)