summaryrefslogtreecommitdiff
path: root/miralib/manual/13/1
diff options
context:
space:
mode:
Diffstat (limited to 'miralib/manual/13/1')
-rw-r--r--miralib/manual/13/122
1 files changed, 22 insertions, 0 deletions
diff --git a/miralib/manual/13/1 b/miralib/manual/13/1
new file mode 100644
index 0000000..c5e9198
--- /dev/null
+++ b/miralib/manual/13/1
@@ -0,0 +1,22 @@
+_D_o_t_d_o_t_ _n_o_t_a_t_i_o_n
+
+The following abbreviations are provided for denoting lists, of type
+[num], whose members form a finite or infinite arithmetic series. Let
+`a', `b', `c' stand for arbitrary numeric expressions.
+
+ [a..b] list of numbers from a to b inclusive, interval = 1
+ [a..] infinite list starting at a and increasing by 1
+ [a,b..c] arithmetic series, first member a, second member b,
+ last member not greater than c (if b-a non-negative)
+ or not less than c (if b-a negative).
+ [a,b..] infinite series starting at a, interval = (b-a)
+
+So the notation [1..10] has as value the list [1,2,3,4,5,6,7,8,9,10].
+Here are some more examples
+
+ nats = [0..]
+ evens = [0,2..]
+ odds_less_than_100 = [1,3..99]
+ neg_odds = [-1,-3..]
+ tenths = [1.0,1.1 .. 2.0]
+