Mercurial > hg > ishara

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added documentation about types and revised arrow type specifications.
author samer
date Sat, 19 Jan 2013 14:22:09 +0000
parents 672052bd81f8
children
line wrap: on
line diff
--- a/arrows/@aswitch/aswitch.m	Sat Jan 19 13:09:31 2013 +0000
+++ b/arrows/@aswitch/aswitch.m	Sat Jan 19 14:22:09 2013 +0000
@@ -1,7 +1,7 @@
 % aswitch - switching arrow 
 %
 % aswitch :: 
-%    arrow(A:arglist(N),B:arglist(M),S)
+%    arrow(A@typelist(N),B@typelist(M),S)
 % -> arrow([A,{box(arrow(A,B,S))}], B,S).
 %
 % The resulting arrow has N+1 inputs and M outputs. The last input