From 9224e54bf175ebe13c3fae42f04b649413c737e7 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 7 Apr 2022 03:27:59 -0400
Subject: De-sigil-ification: &

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

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

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 63fa76177..31161cb4f 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -175,12 +175,12 @@
   [(is (List Nat)
        (list 0 1 2 3))])
 
-(documentation: /.list&
+(documentation: /.partial_list
   "List literals, with the last element being a tail-list."
   [(is (List Nat)
-       (list& 0 1 2 3
-              (is (List Nat)
-                  (list 4 5 6))))])
+       (partial_list 0 1 2 3
+                     (is (List Nat)
+                         (list 4 5 6))))])
 
 (documentation: /.Union
   "Union types."
@@ -466,7 +466,7 @@
   "Express a value that implements an interface."
   [(is (Order Int)
        (implementation
-        (def: &equivalence
+        (def: equivalence
           equivalence)
         (def: (< reference subject)
           (< reference subject))
@@ -476,7 +476,7 @@
   "Interface implementation."
   [(implementation: .public order
      (Order Int)
-     (def: &equivalence
+     (def: equivalence
        equivalence)
      (def: (< test subject)
        (< test subject)))])
@@ -511,7 +511,7 @@
   [(type: .public (Order a)
      (Interface
       (is (Equivalence a)
-          &equivalence)
+          equivalence)
       (is (-> a a Bit)
           <)))])
 
@@ -931,7 +931,7 @@
              ..Ex
              ..->
              ..list
-             ..list&
+             ..partial_list
              ..Union
              ..Tuple
              ..Or
-- 
cgit v1.2.3