aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation
diff options
context:
space:
mode:
authorEduardo Julian2022-04-07 03:27:59 -0400
committerEduardo Julian2022-04-07 03:27:59 -0400
commit9224e54bf175ebe13c3fae42f04b649413c737e7 (patch)
treedab2b19f79e79020792ee0bfe0fb6abe522639a3 /stdlib/source/documentation
parent7542b0addd9eaf01dd5f1c4c8a39b67f51a4bd06 (diff)
De-sigil-ification: &
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