From 166355dccf5ab3f94f85ff8d27c57c49039dd34d Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Mon, 15 Jul 2019 12:28:01 -0700
Subject: [PATCH] New combinator infrst == infra first

Three uses means it's time for a refactor.
---
 thun/thun.pl | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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