implementations/Nim/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 lshift [2 *] times
  60 make_generator [codireco] ccons
  61 mod %
  62 neg 0 swap -
  63 not [true] [false] branch
  64 nulco [nullary] cons
  65 null [] swap concat bool not
  66 nullary [stack] dinfrirst
  67 of swap at
  68 over [dup] dip swap
  69 pam [i] map
  70 pm [+] [-] clop
  71 popd [pop] dip
  72 popdd [pop] dipd
  73 popop pop pop
  74 popopop pop popop
  75 popopd [popop] dip
  76 popopdd [popop] dipd
  77 product 1 swap [*] step
  78 quoted [unit] dip
  79 range [0 <=] [-- dup] anamorphism
  80 range_to_zero unit [down_to_zero] infra
  81 reco rest cons
  82 rest uncons popd
  83 reverse <{} shunt
  84 roll> swap swapd
  85 roll< swapd swap
  86 rollup roll>
  87 rolldown roll<
  88 rrest rest rest
  89 rshift [2 /] times
  90 run <{} infra
  91 second rest first
  92 shift uncons [swons] dip
  93 shunt [swons] step
  94 size [pop ++] step_zero
  95 small dup null [rest null] [pop true] branch
  96 spiral_next [[[abs] ii <=] [[<>] [pop !-] or] and] [[!-] [[++]] [[--]] ifte dip] [[pop !-] [--] [++] ifte] ifte
  97 split_at [drop] [take] clop
  98 split_list [take reverse] [drop] clop
  99 sqr dup mul
 100 stackd [stack] dip
 101 step_zero 0 roll> step
 102 stuncons stack uncons
 103 sum [+] step_zero
 104 swapd [swap] dip
 105 swons swap cons
 106 swoncat swap concat
 107 tailrec [i] genrec
 108 take <<{} [shift] times pop
 109 ternary binary popd
 110 third rest second
 111 tuck dup swapd
 112 unary nullary popd
 113 uncons [first] [rest] cleave
 114 unit [] cons
 115 unquoted [i] dip
 116 unstack [[] swaack] dip swoncat swaack pop
 117 unswons uncons swap
 118 while swap nulco dupdipd concat loop
 119 x dup i
 120 step [_step0] x
 121 _step0 _step1 [popopop] [_stept] branch
 122 _step1 [?] dipd roll<
 123 _stept [uncons] dipd [dupdipd] dip x
 124 times [_times0] x
 125 _times0 _times1 [popopop] [_timest] branch
 126 _times1 [dup 0 >] dipd roll<
 127 _timest [[--] dip dupdipd] dip x
 128 map [_map0] cons [[] [_map?] [_mape]] dip tailrec
 129 _map? pop bool not
 130 _mape popd reverse
 131 _map0 [_map1] dipd _map2
 132 _map1 stackd shift
 133 _map2 [infrst] cons dipd roll< swons
 134 _isnt_bool not not
 135 _isnt_two_bools [_isnt_bool] ii
 136 _\/_ [_isnt_bool] [not] branch
 137 /\ _isnt_two_bools [pop false] [] branch
 138 \/ _isnt_two_bools [] [pop true] branch