diff options
| author | Eduardo Julian | 2022-04-07 03:27:59 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-04-07 03:27:59 -0400 |
| commit | 9224e54bf175ebe13c3fae42f04b649413c737e7 (patch) | |
| tree | dab2b19f79e79020792ee0bfe0fb6abe522639a3 /stdlib/source/documentation/lux.lux | |
| parent | 7542b0addd9eaf01dd5f1c4c8a39b67f51a4bd06 (diff) | |
De-sigil-ification: &
Diffstat (limited to 'stdlib/source/documentation/lux.lux')
| -rw-r--r-- | stdlib/source/documentation/lux.lux | 16 |
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 |