Mercurial > hg > ishara

diff arrows/perm.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/perm.m	Sat Jan 19 13:09:31 2013 +0000
+++ b/arrows/perm.m	Sat Jan 19 14:22:09 2013 +0000
@@ -3,7 +3,7 @@
 % perm :: 
 %    N:natural ~'number of inputs',
 %    P:[[M]->[N]] ~'permutation of inputs'
-% -> arrow(_:arglist(N), _:arglist(M), empty).
+% -> arrow(_@typelist(N), _@typelist(M), empty).
 %
 % This function creates an arrow whos outputs can
 % be copies of any of the inputs in any order.