Derp! I forgot to modify the built-in defs to use "==".

This commit is contained in:
Simon Forman 2020-12-19 23:37:39 -08:00
parent aa43eb6684
commit 5a2758b50d
1 changed files with 38 additions and 38 deletions

View File

@ -108,44 +108,44 @@ def add_aliases(D, A):
definitions = ('''\ definitions = ('''\
? dup truthy ? == dup truthy
*fraction [uncons] dip uncons [swap] dip concat [*] infra [*] dip cons *fraction == [uncons] dip uncons [swap] dip concat [*] infra [*] dip cons
*fraction0 concat [[swap] dip * [*] dip] infra *fraction0 == concat [[swap] dip * [*] dip] infra
anamorphism [pop []] swap [dip swons] genrec anamorphism == [pop []] swap [dip swons] genrec
average [sum 1.0 *] [size] cleave / average == [sum 1.0 *] [size] cleave /
binary nullary [popop] dip binary == nullary [popop] dip
cleave fork [popd] dip cleave == fork [popd] dip
codireco cons dip rest cons codireco == cons dip rest cons
dinfrirst dip infra first dinfrirst == dip infra first
unstack ? [uncons ?] loop pop unstack == ? [uncons ?] loop pop
down_to_zero [0 >] [dup --] while down_to_zero == [0 >] [dup --] while
dupdipd dup dipd dupdipd == dup dipd
enstacken stack [clear] dip enstacken == stack [clear] dip
flatten [] swap [concat] step flatten == [] swap [concat] step
fork [i] app2 fork == [i] app2
gcd 1 [tuck modulus dup 0 >] loop pop gcd == 1 [tuck modulus dup 0 >] loop pop
ifte [nullary not] dipd branch ifte == [nullary not] dipd branch
ii [dip] dupdip i ii == [dip] dupdip i
least_fraction dup [gcd] infra [div] concat map least_fraction == dup [gcd] infra [div] concat map
make_generator [codireco] ccons make_generator == [codireco] ccons
nullary [stack] dinfrirst nullary == [stack] dinfrirst
of swap at of == swap at
pam [i] map pam == [i] map
tailrec [i] genrec tailrec == [i] genrec
product 1 swap [*] step product == 1 swap [*] step
quoted [unit] dip quoted == [unit] dip
range [0 <=] [1 - dup] anamorphism range == [0 <=] [1 - dup] anamorphism
range_to_zero unit [down_to_zero] infra range_to_zero == unit [down_to_zero] infra
run [] swap infra run == [] swap infra
size 0 swap [pop ++] step size == 0 swap [pop ++] step
sqr dup mul sqr == dup mul
step_zero 0 roll> step step_zero == 0 roll> step
swoncat swap concat swoncat == swap concat
tailrec [i] genrec tailrec == [i] genrec
ternary unary [popop] dip ternary == unary [popop] dip
unary nullary popd unary == nullary popd
unquoted [i] dip unquoted == [i] dip
while swap [nullary] cons dup dipd concat loop while == swap [nullary] cons dup dipd concat loop
''' '''
# #
# #