aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/documentation')
-rw-r--r--stdlib/source/documentation/lux.lux16
1 files changed, 8 insertions, 8 deletions
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