From 616ce8051f59f956fedc57780f5a8fefa16dd61d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Jun 2022 14:19:07 -0400
Subject: Re-named "partial_list" to "list.partial".

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

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

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index f43538c06..c09265d62 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -175,13 +175,6 @@
   [(is (List Nat)
        (list 0 1 2 3))])
 
-(documentation: /.partial_list
-  "List literals, with the last element being a tail-list."
-  [(is (List Nat)
-       (partial_list 0 1 2 3
-                     (is (List Nat)
-                         (list 4 5 6))))])
-
 (documentation: /.Union
   "Union types."
   [(Union Bit Nat Text)]
@@ -924,7 +917,6 @@
              ..Ex
              ..->
              ..list
-             ..partial_list
              ..Union
              ..Tuple
              ..Or
-- 
cgit v1.2.3