aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation
diff options
context:
space:
mode:
authorEduardo Julian2022-06-12 14:19:07 -0400
committerEduardo Julian2022-06-12 14:19:07 -0400
commit616ce8051f59f956fedc57780f5a8fefa16dd61d (patch)
treed0cf43811d8414730cd52fb0d509c7cbc7032cda /stdlib/source/documentation
parent8c3a1afab9efeb86e2f53d743551fc689fbad257 (diff)
Re-named "partial_list" to "list.partial".
Diffstat (limited to 'stdlib/source/documentation')
-rw-r--r--stdlib/source/documentation/lux.lux8
1 files changed, 0 insertions, 8 deletions
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