diff arrows/@loop1/loop1.m @ 27:5de03f77dae1

Added documentation about types and revised arrow type specifications.

--- a/arrows/@loop1/loop1.m	Sat Jan 19 13:09:31 2013 +0000
+++ b/arrows/@loop1/loop1.m	Sat Jan 19 14:22:09 2013 +0000
@@ -3,7 +3,7 @@
 % loop1 ::
 %    N:natural  ~'number of inputs for this arrow',
 %    M:natural  ~'number of outputs for this arrow',
-%    ({[N]->size} -> ([A:arglist(N), {S}] -> [B:arglist(M), {S}])) 
+%    ({[N]->size} -> ([A@typelist(N), {S}] -> [B@typelist(M), {S}])) 
 %                           ~'function to map input sizes to state transformer',
 %    ({[N]->size} -> S0:S)  ~'function to map size of input to initial state'
 % -> arrow(A,B,S) ~'arrow from A to B with state of type S'.