sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Minor cleanup of defs.

This commit is contained in:
Simon Forman 2019-07-15 20:55:11 -07:00
parent 9ebc64541a
commit 2baf3b89ce
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
thun/defs.txt
View File

@ -9,7 +9,7 @@ binary == unary popd
ccons == cons cons ccons == cons cons
cleave == fork [popd] dip cleave == fork [popd] dip
codireco == cons dip rest cons codireco == cons dip rest cons
dinfrirst == dip infra first dinfrirst == dip infrst
disenstacken == ? [uncons ?] loop pop disenstacken == ? [uncons ?] loop pop
down_to_zero == [0 >] [dup --] while down_to_zero == [0 >] [dup --] while
drop == [rest] times drop == [rest] times
@ -20,7 +20,6 @@ enstacken == stack [clear] dip
flatten == [] swap [concat] step flatten == [] swap [concat] step
fork == [i] app2 fork == [i] app2
fourth == rest third fourth == rest third
gcd == 1 [tuck modulus dup 0 >] loop pop
grba == [stack popd] dip grba == [stack popd] dip
ifte == [nullary] dipd swap branch ifte == [nullary] dipd swap branch
ii == [dip] dupdip i ii == [dip] dupdip i
@ -28,7 +27,7 @@ infra == swons swaack [i] dip swaack
infrst == infra first infrst == infra first
make_generator == [codireco] ccons make_generator == [codireco] ccons
neg == 0 swap - neg == 0 swap -
nullary == stack popd [i] infrst nullary == [stack] dinfrirst
of == swap at of == swap at
pam == [i] map pam == [i] map
pm == [+] [-] cleave popdd pm == [+] [-] cleave popdd
@ -39,7 +38,6 @@ popopd == [popop] dip
popopdd == [popop] dipd popopdd == [popop] dipd
primrec == [i] genrec primrec == [i] genrec
product == 1 swap [*] step 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