From c5b61d2f46ac19bf511197f3a537c4be0f47df33 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 27 Aug 2021 20:59:34 -0400
Subject: Updates to the Ruby compiler.

---
 stdlib/source/documentation/lux/control/concatenative.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/documentation/lux/control/concatenative.lux')

diff --git a/stdlib/source/documentation/lux/control/concatenative.lux b/stdlib/source/documentation/lux/control/concatenative.lux
index 6c97e056f..a1163c241 100644
--- a/stdlib/source/documentation/lux/control/concatenative.lux
+++ b/stdlib/source/documentation/lux/control/concatenative.lux
@@ -21,13 +21,13 @@
 (documentation: /.=>
   "Concatenative function types."
   [(=> [Nat] [Nat])]
-  [(All [a]
+  [(All (_ a)
      (-> a (=> [] [a])))]
-  [(All [t]
+  [(All (_ t)
      (=> [t] []))]
-  [(All [a b c]
+  [(All (_ a b c)
      (=> [a b c] [b c a]))]
-  [(All [___a ___z]
+  [(All (_ ___a ___z)
      (=> {then (=> ___a ___z)
           else (=> ___a ___z)}
          ___a [Bit then else] ___z))])
-- 
cgit v1.2.3