Changes between Version 9 and Version 10 of StreamType

Timestamp:

04/23/12 17:29:52 (13 years ago)

Author:

Charles

Comment:

--

StreamType

@@ -24 +24 @@
         print t
 }}}
- * The general form of a stream type is Foo*" where "Foo" is the element type.
+ * The general form of a stream type is "Foo*" where "Foo" is the element type.
  * The "*" suffix can be thought of as "zero or more".
  * The type "Foo*" can be read as "Foo stream" or "stream of Foo(s)".