diff options
| author | Eduardo Julian | 2018-08-20 23:23:02 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-08-20 23:23:02 -0400 |
| commit | 9ccc8ea44ebe4f9a3d40c8e94b55f77c0d815099 (patch) | |
| tree | 32de969d2e9567027b254718eab43c3ca792f6a9 /stdlib/source | |
| parent | a1944a9d561e76b02717673647b87704118c03a6 (diff) | |
Some refactoring.
Diffstat (limited to 'stdlib/source')
| -rw-r--r-- | stdlib/source/lux.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index bf92eb4db..d64b83bd3 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -19,7 +19,7 @@ (1 [[dummy-cursor (7 ["lux" "export?"])] [dummy-cursor (0 #1)]] (1 [[dummy-cursor (7 ["lux" "doc"])] - [dummy-cursor (5 "The type of things whose type does not matter. + [dummy-cursor (5 "The type of things whose type is irrelevant. It can be used to write functions or data-structures that can take, or return, anything.")]] (0)))))]) @@ -35,7 +35,7 @@ (1 [[dummy-cursor (7 ["lux" "export?"])] [dummy-cursor (0 #1)]] (1 [[dummy-cursor (7 ["lux" "doc"])] - [dummy-cursor (5 "The type of things whose type is unknown or undefined. + [dummy-cursor (5 "The type of things whose type is undefined. Useful for expressions that cause errors or other \"extraordinary\" conditions.")]] (0)))))]) |