From 7285ebb8da9bb257013d231e1fa3568cadb05983 Mon Sep 17 00:00:00 2001
From: sforman <sforman@hushmail.com>
Date: Sat, 26 Aug 2023 10:56:29 -0700
Subject: [PATCH] Example of infra evaluation.

---
 docs/reference/infra.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/docs/reference/infra.md b/docs/reference/infra.md
index ace72ef..b8040cc 100644
--- a/docs/reference/infra.md
+++ b/docs/reference/infra.md
@@ -15,6 +15,17 @@ the list as its stack.  Does not affect the stack (below the list.)
 
 > [swons] [swaack] \[[i]\] [dip] [swaack]
 
+
+    ... [a b c] [F] swons swaack [i] dip swaack
+    ... [[F] a b c]       swaack [i] dip swaack
+
+    c b a [F]   [...] [i] dip swaack
+    c b a [F] i [...]         swaack
+    c b a  F    [...]         swaack
+    d e         [...]         swaack
+    ... [e d]
+
+
 ### Discussion
 
 This is one of the more useful combinators.  It allows a quoted