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

Update Nim defs.txt.

This commit is contained in:
sforman 2023-08-30 18:46:51 -07:00
parent 47275cf1f1
commit 35097d90a9
1 changed files with 18 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
implementations/Nim/defs.txt
View File

@ -4,18 +4,15 @@ lt [false] [false] [true] cmp
neq [true] [false] [true] cmp neq [true] [false] [true] cmp
le [false] [true] [true] cmp le [false] [true] [true] cmp
ge [true] [true] [false] cmp ge [true] [true] [false] cmp
-- 1 -
? dup bool ? dup bool
and nulco [nullary [false]] dip branch
++ 1 +
or nulco [nullary] dip [true] branch
!- 0 >= !- 0 >=
++ 1 +
-- 1 -
<{} [] swap <{} [] swap
<<{} [] rollup <<{} [] rollup
<< lshift
>> rshift
abs dup 0 < [] [neg] branch abs dup 0 < [] [neg] branch
anamorphism [pop []] swap [dip swons] genrec anamorphism [pop []] swap [dip swons] genrec
and nulco [nullary [false]] dip branch
app1 grba infrst app1 grba infrst
app2 [grba swap grba swap] dip [infrst] cons ii app2 [grba swap grba swap] dip [infrst] cons ii
app3 3 appN app3 3 appN
@ -38,10 +35,10 @@ disenstacken swaack pop
divmod [/] [%] clop divmod [/] [%] clop
down_to_zero [0 >] [dup --] while down_to_zero [0 >] [dup --] while
drop [rest] times drop [rest] times
dupd [dup] dip
dupdd [dup] dipd dupdd [dup] dipd
dupdip dupd dip dupd [dup] dip
dupdipd dup dipd dupdipd dup dipd
dupdip dupd dip
enstacken stack [clear] dip enstacken stack [clear] dip
first uncons pop first uncons pop
flatten <{} [concat] step flatten <{} [concat] step
@ -56,24 +53,26 @@ 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 infrst infra first
<< lshift
lshift [2 *] times lshift [2 *] times
make_generator [codireco] ccons make_generator [codireco] ccons
mod % mod %
neg 0 swap - neg 0 swap -
not [true] [false] branch not [true] [false] branch
nulco [nullary] cons nulco [nullary] cons
null [] swap concat bool not
nullary [stack] dinfrirst nullary [stack] dinfrirst
null [] swap concat bool not
of swap at of swap at
or nulco [nullary] dip [true] branch
over [dup] dip swap over [dup] dip swap
pam [i] map pam [i] map
pm [+] [-] clop pm [+] [-] clop
popd [pop] dip
popdd [pop] dipd popdd [pop] dipd
popop pop pop popd [pop] dip
popopop pop popop
popopd [popop] dip
popopdd [popop] dipd popopdd [popop] dipd
popopd [popop] dip
popopop pop popop
popop pop pop
product 1 swap [*] step product 1 swap [*] step
quoted [unit] dip quoted [unit] dip
range [0 <=] [-- dup] anamorphism range [0 <=] [-- dup] anamorphism
@ -81,11 +80,12 @@ range_to_zero unit [down_to_zero] infra
reco rest cons reco rest cons
rest uncons popd rest uncons popd
reverse <{} shunt reverse <{} shunt
roll> swap swapd
roll< swapd swap
rollup roll>
rolldown roll< rolldown roll<
roll< swapd swap
roll> swap swapd
rollup roll>
rrest rest rest rrest rest rest
>> rshift
rshift [2 /] times rshift [2 /] times
run <{} infra run <{} infra
second rest first second rest first
@ -102,8 +102,8 @@ step_zero 0 roll> step
stuncons stack uncons stuncons stack uncons
sum [+] step_zero sum [+] step_zero
swapd [swap] dip swapd [swap] dip
swons swap cons
swoncat swap concat swoncat swap concat
swons swap cons
tailrec [i] genrec tailrec [i] genrec
take <<{} [shift] times pop take <<{} [shift] times pop
ternary binary popd ternary binary popd
@ -136,3 +136,4 @@ _isnt_two_bools [_isnt_bool] ii
_\/_ [_isnt_bool] [not] branch _\/_ [_isnt_bool] [not] branch
/\ _isnt_two_bools [pop false] [] branch /\ _isnt_two_bools [pop false] [] branch
\/ _isnt_two_bools [] [pop true] branch \/ _isnt_two_bools [] [pop true] branch
xor [] [not] branch