2.1.4 Pushing Several BINTs
37287 |
ZEROZERO
|
( → #0 #0 )
|
37294 |
#ZERO#ONE
|
( → #0 #1 )
|
37305 |
#ZERO#SEVEN
|
( → #0 #7 )
|
36B12 |
ONEONE
|
( → #1 #1 )
aka: ONEDUP
|
37315 |
#ONE#27
|
( → #1 #27d )
|
37328 |
#TWO#ONE
|
( → #2 #1 )
|
3733A |
#TWO#TWO
|
( → #2 #2 )
|
3734A |
#TWO#FOUR
|
( → #2 #4 )
|
3735C |
#THREE#FOUR
|
( → #3 #4 )
|
3736E |
#FIVE#FOUR
|
( → #5 #4 )
|
37380 |
ZEROZEROZERO
|
( → #0 #0 #0 )
|
37394 |
ZEROZEROONE
|
( → #0 #0 #1 )
|
373A8 |
ZEROZEROTWO
|
( → #0 #0 #2 )
|
3558C |
DROPZERO
|
( ob → #0 )
|
37711 |
(3DROPZERO)
|
( ob ob ob → #0 )
|
355A5 |
2DROP00
|
( ob ob → #0 #0 )
|
3596D |
DROPONE
|
( ob → #1 )
|
36AD6 |
DUPZERO
|
( ob → ob ob #0 )
|
36AEA |
DUPONE
|
( ob → ob ob #1 )
|
36B26 |
DUPTWO
|
( ob → ob ob #2 )
|
36AFE |
SWAPONE
|
( ob ob' → ob' ob #1 )
|
35E75 |
ZEROSWAP
|
( ob → #0 ob )
|
360BB |
ZEROOVER
|
( ob → ob #0 ob )
|
36568 |
ZEROFALSE
|
( → #0 F )
|
35EA2 |
ONESWAP
|
( ob → #1 ob )
|
3657C |
ONEFALSE
|
( → #1 F )
|
This document was generated
by Carsten Dominik on May, 30 2005
using texi2html