diff options
Diffstat (limited to 'src/algebra/stream.spad.pamphlet')
| -rw-r--r-- | src/algebra/stream.spad.pamphlet | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet index 8bd55a61..0cb271b5 100644 --- a/src/algebra/stream.spad.pamphlet +++ b/src/algebra/stream.spad.pamphlet @@ -1128,8 +1128,11 @@ Stream(S): Exports == Implementation where -- mapp(f,x,y,a) @ + \section{package STREAM1 StreamFunctions1} + <<package STREAM1 StreamFunctions1>>= +import Stream )abbrev package STREAM1 StreamFunctions1 ++ Authors: Burge, Watt; updated by Clifton J. Williamson ++ Date Created: July 1986 @@ -1152,8 +1155,11 @@ StreamFunctions1(S:Type): Exports == Implementation where concat(frst x,concat(rst x,concat rst z)) @ + \section{package STREAM2 StreamFunctions2} + <<package STREAM2 StreamFunctions2>>= +import Stream )abbrev package STREAM2 StreamFunctions2 ++ Authors: Burge, Watt; updated by Clifton J. Williamson ++ Date Created: July 1986 @@ -1211,8 +1217,11 @@ StreamFunctions2(A:Type,B:Type): Exports == Implementation where -- h(frst x,rreduce(b,h,rst x)) @ + \section{package STREAM3 StreamFunctions3} + <<package STREAM3 StreamFunctions3>>= +import Stream )abbrev package STREAM3 StreamFunctions3 ++ Authors: Burge, Watt; updated by Clifton J. Williamson ++ Date Created: July 1986 |