diff options
author | Eduardo Julian | 2022-06-12 14:19:07 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-12 14:19:07 -0400 |
commit | 616ce8051f59f956fedc57780f5a8fefa16dd61d (patch) | |
tree | d0cf43811d8414730cd52fb0d509c7cbc7032cda /stdlib/source/documentation | |
parent | 8c3a1afab9efeb86e2f53d743551fc689fbad257 (diff) |
Re-named "partial_list" to "list.partial".
Diffstat (limited to 'stdlib/source/documentation')
-rw-r--r-- | stdlib/source/documentation/lux.lux | 8 |
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 |