add
Add
{{{1}}}
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)