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

New combinator infrst == infra first 

Three uses means it's time for a refactor.
This commit is contained in:
Simon Forman 2019-07-15 12:28:01 -07:00
parent 4ea1a5527e
commit 166355dccf
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
thun/thun.pl
View File

@ -137,9 +137,8 @@ r_truth(1, true).
/* /*
Definitions Definitions
*/ */
app1 ≡ [grba, infrst].
app1 ≡ [grba, infra, first]. app2 ≡ [[grba, swap, grba, swap], dip, [infrst], cons, ii].
app2 ≡ [[grba, swap, grba, swap], dip, [infra, first], cons, ii].
at ≡ [drop, first]. at ≡ [drop, first].
b ≡ [[i], dip, i]. b ≡ [[i], dip, i].
binary ≡ [unary, popd]. binary ≡ [unary, popd].
@ -155,9 +154,10 @@ grba ≡ [[stack, popd], dip].
ifte ≡ [[nullary], dipd, swap, branch]. ifte ≡ [[nullary], dipd, swap, branch].
ii ≡ [[dip], dupdip, i]. ii ≡ [[dip], dupdip, i].
infra ≡ [swons, swaack, [i], dip, swaack]. infra ≡ [swons, swaack, [i], dip, swaack].
infrst ≡ [infra, first].
make_generator ≡ [[codireco], ccons]. make_generator ≡ [[codireco], ccons].
neg ≡ [0, swap, -]. neg ≡ [0, swap, -].
nullary ≡ [stack, popd, [i], infra, first]. nullary ≡ [stack, popd, [i], infrst].
of ≡ [swap, at]. of ≡ [swap, at].
pm ≡ [[+], [-], cleave, popdd]. pm ≡ [[+], [-], cleave, popdd].
popd ≡ [[pop], dip]. popd ≡ [[pop], dip].