Changeset 37411 in project for wiki/eggref/5/biglists

Timestamp:

03/18/19 12:23:07 (17 months ago)

Author:

juergen

Message:

biglists 0.1.1 docu corrected

File:

• wiki/eggref/5/biglists (modified) (2 diffs)

wiki/eggref/5/biglists

@@ -269 +269 @@
 <procedure>(First xs)</procedure>
 
-returns the front item of xs, which might be eos
+returns the front item of xs, which might be eos,
+if xs is empty
 
 ==== Index
@@ -471 +472 @@
 
 returns the rest of the biglist except the front item
+which might be xs itself, if empty
 
 ==== Reverse