diff options
| author | Eduardo Julian | 2017-01-06 21:22:51 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-01-06 21:22:51 -0400 |
| commit | 53f7f432ca593ea007d576d682a27f23310d07a4 (patch) | |
| tree | a8159a297f054c58a9b8f66b213d5d11d9113b2a /stdlib/source/lux.lux | |
| parent | f9eca6ccaebfc916e2ccd347eb9bab7362b8899f (diff) | |
- Fixed a lot of errors in the documentation.
Diffstat (limited to 'stdlib/source/lux.lux')
| -rw-r--r-- | stdlib/source/lux.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 13dc4072e..8af215b43 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -17,7 +17,7 @@ (+0 "#Nat" (+0))) (+1 [["lux" "type?"] (+0 true)] (+1 [["lux" "export?"] (+0 true)] - (+1 [["lux" "doc"] (+6 "Unsigned integers, or natural numbers. + (+1 [["lux" "doc"] (+6 "Natural numbers (unsigned integers). They start at zero (+0) and extend in the positive direction.")] (+0))))) @@ -640,7 +640,8 @@ (#AppT (#AppT Either Text) (#ProdT Compiler (#BoundT +1)))))) (#Cons [["lux" "doc"] (#TextM "Computations that can have access to the state of the compiler. - Those computations may also fail, or modify the state of the compiler.")] + + These computations may fail, or modify the state of the compiler.")] (#Cons [["lux" "type-args"] (#ListM (#Cons (#TextM "a") #;Nil))] default-def-meta-exported))) |