2.1.4 Pushing Several BINTs
815D1 |
ZEROZERO
|
( → #0 #0 )
|
844CF |
ONEONE
|
( → #1 #1 )
aka: ONEDUP
|
8159A |
DROPZERO
|
( ob → #0 )
|
8159F |
2DROP00
|
( ob ob → #0 #0 )
|
8156D |
DROPONE
|
( ob → #1 )
|
84493 |
DUPZERO
|
( ob → ob ob #0 )
|
844A7 |
DUPONE
|
( ob → ob ob #1 )
|
844E3 |
DUPTWO
|
( ob → ob ob #2 )
|
844BB |
SWAPONE
|
( ob ob' → ob' ob #1 )
|
838A9 |
ZEROSWAP
|
( ob → #0 ob )
|
83AE8 |
ZEROOVER
|
( ob → ob #0 ob )
|
83F8E |
ZEROFALSE
|
( → #0 F )
|
838D6 |
ONESWAP
|
( ob → #1 ob )
|
83FA2 |
ONEFALSE
|
( → #1 F )
|
This document was generated
by Carsten Dominik on May, 30 2005
using texi2html