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

Added documentation about types and revised arrow type specifications.

--- a/arrows/@arrf/arrf.m	Sat Jan 19 13:09:31 2013 +0000
+++ b/arrows/@arrf/arrf.m	Sat Jan 19 14:22:09 2013 +0000
@@ -1,11 +1,11 @@
 % arrf - Creat functional arrow using a function factory
 %
 % arrf :: 
-%    FF: (SZ -> (A:arglist(N)->B:arglist(M))) ~'function to create function from sizes',
+%    FF: (SZ -> (A@typelist(N)->B@typelist(M))) ~'function to create function from sizes',
 %    N: natural ~'number of inputs',
 %    M: natural ~'number of outputs',
 %    options {}
-% -> arrow(A:arglist(N),B:arglist(M),empty).
+% -> arrow(A@typelist(N),B@typelist(M),empty).
 %
 % The type empty denotes the type of empty arrays, ie
 % the state of an arr arrow is always an empty matrix.