diff options
author | Eduardo Julian | 2018-08-08 22:29:33 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-08-08 22:29:33 -0400 |
commit | 2ab2c4dc219e5d3667f4f2626166dfc782052fe3 (patch) | |
tree | 14735c2348d631aea472c155e0ec9f00f0b7db43 /stdlib/source/lux.lux | |
parent | 32db706bd8df4901321fce9f87ce06847d2ce4de (diff) |
- Re-defined the relationship between analysis and evaluation.
- Fixed some bugs.
Diffstat (limited to 'stdlib/source/lux.lux')
-rw-r--r-- | stdlib/source/lux.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 793cf5a4d..7faad6c0a 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -21,7 +21,7 @@ (1 [[dummy-cursor (7 ["lux" "doc"])] [dummy-cursor (5 "The type of things whose type does not matter. - It can be used to write functions or data-structures that can take, or return, anything.")]] + It can be used to write functions or data-structures that can take, or return, anything.")]] (0)))))]) ## (type: Nothing @@ -37,7 +37,7 @@ (1 [[dummy-cursor (7 ["lux" "doc"])] [dummy-cursor (5 "The type of things whose type is unknown or undefined. - Useful for expressions that cause errors or other \"extraordinary\" conditions.")]] + Useful for expressions that cause errors or other \"extraordinary\" conditions.")]] (0)))))]) ## (type: (List a) @@ -100,7 +100,7 @@ (#Cons [[dummy-cursor (7 ["lux" "doc"])] [dummy-cursor (5 "Natural numbers (unsigned integers). - They start at zero (0) and extend in the positive direction.")]] + They start at zero (0) and extend in the positive direction.")]] #Nil))))]) ("lux def" Int @@ -126,7 +126,7 @@ (#Cons [[dummy-cursor (7 ["lux" "doc"])] [dummy-cursor (5 "Fractional numbers that live in the interval [0,1). - Useful for probability, and other domains that work within that interval.")]] + Useful for probability, and other domains that work within that interval.")]] #Nil))))]) ("lux def" Frac @@ -164,7 +164,7 @@ (#Cons [[dummy-cursor (7 ["lux" "doc"])] [dummy-cursor (5 "A name. - It is used as part of Lux syntax to represent identifiers and tags.")]] + It is used as part of Lux syntax to represent identifiers and tags.")]] #Nil))))]) ## (type: (Maybe a) |