2022-07-25 14:15:34 +02:00
|
|
|
~~~
|
|
|
|
|
:double:var (nns-)
|
|
|
|
|
d:create swap , , ;
|
|
|
|
|
|
|
|
|
|
:double:fetch (a-nn)
|
|
|
|
|
fetch-next swap fetch ;
|
|
|
|
|
|
|
|
|
|
:double:store (nna-)
|
|
|
|
|
&swap dip store-next store ;
|
|
|
|
|
|
|
|
|
|
:double:const (nns-)
|
|
|
|
|
double:var &double:fetch does ;
|
2022-08-22 11:26:07 +02:00
|
|
|
|
|
|
|
|
:double:swap (nnmm-mmnn)
|
|
|
|
|
rot push rot pop ;
|
2022-08-30 18:28:55 +02:00
|
|
|
|
|
|
|
|
:double:dip (mnq-mn) rot rot push push call pop pop ;
|
|
|
|
|
:double:sip (mnq-mn) &dup-pair dip double:dip ;
|
2023-10-22 18:18:59 +02:00
|
|
|
|
|
|
|
|
'interface/double.retro 'double:var d:set-source
|
|
|
|
|
'interface/double.retro 'double:fetch d:set-source
|
|
|
|
|
'interface/double.retro 'double:store d:set-source
|
|
|
|
|
'interface/double.retro 'double:const d:set-source
|
|
|
|
|
'interface/double.retro 'double:swap d:set-source
|
|
|
|
|
'interface/double.retro 'double:sip d:set-source
|
|
|
|
|
'interface/double.retro 'double:dip d:set-source
|
2022-07-25 14:15:34 +02:00
|
|
|
~~~
|
