From 2ab2c4dc219e5d3667f4f2626166dfc782052fe3 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 8 Aug 2018 22:29:33 -0400 Subject: - Re-defined the relationship between analysis and evaluation. - Fixed some bugs. --- stdlib/source/lux.lux | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'stdlib/source/lux.lux') 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) -- cgit v1.2.3