neq [true] [false] [true] cmp
le [false] [true] [true] cmp
ge [true] [true] [false] cmp
--- 1 -
? dup bool
-and nulco [nullary [false]] dip branch
-++ 1 +
-or nulco [nullary] dip [true] branch
!- 0 >=
+++ 1 +
+-- 1 -
<{} [] swap
<<{} [] rollup
-<< lshift
->> rshift
abs dup 0 < [] [neg] branch
anamorphism [pop []] swap [dip swons] genrec
+and nulco [nullary [false]] dip branch
app1 grba infrst
app2 [grba swap grba swap] dip [infrst] cons ii
app3 3 appN
divmod [/] [%] clop
down_to_zero [0 >] [dup --] while
drop [rest] times
-dupd [dup] dip
dupdd [dup] dipd
-dupdip dupd dip
+dupd [dup] dip
dupdipd dup dipd
+dupdip dupd dip
enstacken stack [clear] dip
first uncons pop
flatten <{} [concat] step
ii [dip] dupdip i
infra swons swaack [i] dip swaack
infrst infra first
+<< lshift
lshift [2 *] times
make_generator [codireco] ccons
mod %
neg 0 swap -
not [true] [false] branch
nulco [nullary] cons
-null [] swap concat bool not
nullary [stack] dinfrirst
+null [] swap concat bool not
of swap at
+or nulco [nullary] dip [true] branch
over [dup] dip swap
pam [i] map
pm [+] [-] clop
-popd [pop] dip
popdd [pop] dipd
-popop pop pop
-popopop pop popop
-popopd [popop] dip
+popd [pop] dip
popopdd [popop] dipd
+popopd [popop] dip
+popopop pop popop
+popop pop pop
product 1 swap [*] step
quoted [unit] dip
range [0 <=] [-- dup] anamorphism
reco rest cons
rest uncons popd
reverse <{} shunt
-roll> swap swapd
+rolldown roll<
roll< swapd swap
+roll> swap swapd
rollup roll>
-rolldown roll<
rrest rest rest
+>> rshift
rshift [2 /] times
run <{} infra
second rest first
stuncons stack uncons
sum [+] step_zero
swapd [swap] dip
-swons swap cons
swoncat swap concat
+swons swap cons
tailrec [i] genrec
take <<{} [shift] times pop
ternary binary popd
_\/_ [_isnt_bool] [not] branch
/\ _isnt_two_bools [pop false] [] branch
\/ _isnt_two_bools [] [pop true] branch
+xor [] [not] branch