From d3313ce4a754e4dd6114931126a78b0e8f802654 Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Sun, 14 Jul 2019 23:02:10 -0700
Subject: [PATCH] Infra as definition.

---
 thun/thun.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/thun/thun.pl b/thun/thun.pl
index 6a4bb72..bce598f 100644
--- a/thun/thun.pl
+++ b/thun/thun.pl
@@ -84,7 +84,6 @@ Functions
 */
 
 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(swap, [A, B|S],  [B, A|S]).
@@ -157,6 +156,7 @@ fourth ≡ [rest, third].
 grba ≡ [[stack, popd], dip].
 ifte ≡ [[nullary], dipd, swap, branch].
 ii ≡ [[dip], dupdip, i].
+infra ≡ [swons, swaack, [i], dip, swaack].
 make_generator ≡ [[codireco], ccons].
 neg ≡ [0, swap, -].
 of ≡ [swap, at].