implementations/defs.txt

   1 eq [false] [true] [false] cmp
   2 gt [true] [false] [false] cmp
   3 lt [false] [false] [true] cmp
   4 neq [true] [false] [true] cmp
   5 le [false] [true] [true] cmp
   6 ge [true] [true] [false] cmp
   7 -- 1 -
   8 ? dup bool
   9 and nulco [nullary [false]] dip branch
  10 ++ 1 +
  11 or nulco [nullary] dip [true] branch
  12 !- 0 >=
  13 <{} [] swap
  14 <<{} [] rollup
  15 << lshift
  16 >> rshift
  17 abs dup 0 < [] [neg] branch
  18 anamorphism [pop []] swap [dip swons] genrec
  19 app1 grba infrst
  20 app2 [grba swap grba swap] dip [infrst] cons ii
  21 app3 3 appN
  22 appN [grabN] codi map reverse disenstacken
  23 at drop first
  24 average [sum] [size] cleave /
  25 b [i] dip i
  26 binary unary popd
  27 ccccons ccons ccons
  28 ccons cons cons
  29 clear [] swaack pop
  30 cleave fork popdd
  31 clop cleave popdd
  32 cmp [[>] swap] dipd [ifte] ccons [=] swons ifte
  33 codi cons dip
  34 codireco codi reco
  35 dinfrirst dip infrst
  36 dipd [dip] codi
  37 disenstacken swaack pop
  38 divmod [/] [%] clop
  39 down_to_zero [0 >] [dup --] while
  40 drop [rest] times
  41 dupd [dup] dip
  42 dupdd [dup] dipd
  43 dupdip dupd dip
  44 dupdipd dup dipd
  45 enstacken stack [clear] dip
  46 first uncons pop
  47 flatten <{} [concat] step
  48 fork [i] app2
  49 fourth rest third
  50 gcd true [tuck mod dup 0 >] loop pop
  51 genrec [[genrec] ccccons] nullary swons concat ifte
  52 grabN <{} [cons] times
  53 grba [stack popd] dip
  54 hypot [sqr] ii + sqrt
  55 ifte [nullary] dipd swap branch
  56 ii [dip] dupdip i
  57 infra swons swaack [i] dip swaack
  58 infrst infra first
  59 make_generator [codireco] ccons
  60 mod %
  61 neg 0 swap -
  62 not [true] [false] branch
  63 nulco [nullary] cons
  64 null [] swap concat bool not
  65 nullary [stack] dinfrirst
  66 of swap at
  67 over [dup] dip swap
  68 pam [i] map
  69 pm [+] [-] clop
  70 popd [pop] dip
  71 popdd [pop] dipd
  72 popop pop pop
  73 popopop pop popop
  74 popopd [popop] dip
  75 popopdd [popop] dipd
  76 product 1 swap [*] step
  77 quoted [unit] dip
  78 range [0 <=] [-- dup] anamorphism
  79 range_to_zero unit [down_to_zero] infra
  80 reco rest cons
  81 rest uncons popd
  82 reverse <{} shunt
  83 roll> swap swapd
  84 roll< swapd swap
  85 rollup roll>
  86 rolldown roll<
  87 rrest rest rest
  88 run <{} infra
  89 second rest first
  90 shift uncons [swons] dip
  91 shunt [swons] step
  92 size [pop ++] step_zero
  93 small dup null [rest null] [pop true] branch
  94 spiral_next [[[abs] ii <=] [[<>] [pop !-] or] and] [[!-] [[++]] [[--]] ifte dip] [[pop !-] [--] [++] ifte] ifte
  95 split_at [drop] [take] clop
  96 split_list [take reverse] [drop] clop
  97 sqr dup mul
  98 stackd [stack] dip
  99 step_zero 0 roll> step
 100 stuncons stack uncons
 101 sum [+] step_zero
 102 swapd [swap] dip
 103 swons swap cons
 104 swoncat swap concat
 105 tailrec [i] genrec
 106 take <<{} [shift] times pop
 107 ternary binary popd
 108 third rest second
 109 tuck dup swapd
 110 unary nullary popd
 111 uncons [first] [rest] cleave
 112 unit [] cons
 113 unquoted [i] dip
 114 unstack [[] swaack] dip swoncat swaack pop
 115 unswons uncons swap
 116 while swap nulco dupdipd concat loop
 117 x dup i
 118 step [_step0] x
 119 _step0 _step1 [popopop] [_stept] branch
 120 _step1 [?] dipd roll<
 121 _stept [uncons] dipd [dupdipd] dip x
 122 times [_times0] x
 123 _times0 _times1 [popopop] [_timest] branch
 124 _times1 [dup 0 >] dipd roll<
 125 _timest [[--] dip dupdipd] dip x
 126 map [_map0] cons [[] [_map?] [_mape]] dip tailrec
 127 _map? pop bool not
 128 _mape popd reverse
 129 _map0 [_map1] dipd _map2
 130 _map1 stackd shift
 131 _map2 [infrst] cons dipd roll< swons
 132 _isnt_bool not not
 133 _isnt_two_bools [_isnt_bool] ii
 134 _\/_ [_isnt_bool] [not] branch
 135 /\ _isnt_two_bools [pop false] [] branch
 136 \/ _isnt_two_bools [] [pop true] branch