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

Infra as definition.

This commit is contained in:
Simon Forman 2019-07-14 23:02:10 -07:00
parent 9f1e75313b
commit d3313ce4a7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
thun/thun.pl
View File

@ -84,7 +84,6 @@ Functions
*/ */
func(nullary, [P|S], [X|S]) :- thun(P, S, [X|_]). % Combinator. func(nullary, [P|S], [X|S]) :- thun(P, S, [X|_]). % Combinator.
func(infra, [P, R|S], [Q|S]) :- thun(P, R, Q). % Combinator.
func(cons, [A, B|S], [[B|A]|S]). func(cons, [A, B|S], [[B|A]|S]).
func(swap, [A, B|S], [B, A|S]). func(swap, [A, B|S], [B, A|S]).
@ -157,6 +156,7 @@ fourth ≡ [rest, third].
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].
infra ≡ [swons, swaack, [i], dip, swaack].
make_generator ≡ [[codireco], ccons]. make_generator ≡ [[codireco], ccons].
neg ≡ [0, swap, -]. neg ≡ [0, swap, -].
of ≡ [swap, at]. of ≡ [swap, at].