diff options
Diffstat (limited to '')
-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))) |