thun/defs.txt

   1 -- == 1 -\r
   2 ++ == 1 +\r
   3 ?  == dup bool\r
   4 anamorphism == [pop []] swap [dip swons] genrec\r
   5 app1 == grba infrst\r
   6 app2 == [grba swap grba swap] dip [infrst] cons ii\r
   7 at == drop first\r
   8 average == [sum 1.0 *] [size] cleave /\r
   9 b == [i] dip i\r
  10 binary == unary popd\r
  11 ccons == cons cons\r
  12 cleave == fork popdd\r
  13 codireco == cons dip rest cons\r
  14 dinfrirst == dip infrst\r
  15 disenstacken == ? [uncons ?] loop pop\r
  16 down_to_zero == [0 >] [dup --] while\r
  17 drop == [rest] times\r
  18 dupd == [dup] dip\r
  19 dupdd == [dup] dipd\r
  20 dupdipd == dup dipd\r
  21 enstacken == stack [clear] dip\r
  22 flatten == [] swap [concat] step\r
  23 fork == [i] app2\r
  24 fourth == rest third\r
  25 gcd == true [tuck mod dup 0 >] loop pop\r
  26 grba == [stack popd] dip\r
  27 hypot == [sqr] ii + sqrt\r
  28 ifte == [nullary] dipd swap branch\r
  29 ii == [dip] dupdip i\r
  30 infra == swons swaack [i] dip swaack\r
  31 infrst == infra first\r
  32 make_generator == [codireco] ccons\r
  33 neg == 0 swap -\r
  34 nullary == [stack] dinfrirst\r
  35 of == swap at\r
  36 pam == [i] map\r
  37 pm == [+] [-] cleave popdd\r
  38 popd == [pop] dip\r
  39 popdd == [pop] dipd\r
  40 popop == pop pop\r
  41 popopd == [popop] dip\r
  42 popopdd == [popop] dipd\r
  43 primrec == [i] genrec\r
  44 product == 1 swap [*] step\r
  45 quoted == [unit] dip\r
  46 range == [0 <=] [1 - dup] anamorphism\r
  47 range_to_zero == unit [down_to_zero] infra\r
  48 rrest == rest rest\r
  49 run == [] swap infra\r
  50 second == rest first\r
  51 size == 0 swap [pop ++] step\r
  52 sqr == dup *\r
  53 step_zero == 0 roll> step\r
  54 sum == 0 swap [+] step\r
  55 swons == swap cons\r
  56 ternary == binary popd\r
  57 third == rest second\r
  58 unary == nullary popd\r
  59 unit == [] cons\r
  60 unquoted == [i] dip\r
  61 unswons == uncons swap\r
  62 while == swap [nullary] cons dup dipd concat loop\r
  63 x == dup i