Mercurial > hg > ishara

diff arrows/arrow_repl.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 beb8a3f4a345
line wrap: on
line diff
--- a/arrows/arrow_repl.m	Sat Jan 19 13:09:31 2013 +0000
+++ b/arrows/arrow_repl.m	Sat Jan 19 14:22:09 2013 +0000
@@ -1,7 +1,7 @@
 % arrow_repl - Instantiate arrow system and drop into REPL.
 %
 % arrow_repl ::
-%    arrow(_:arglist(N),_:arglist(M),S)  ~'arbitrary arrow',
+%    arrow(_@typelist(N),_@typelist(M),S)  ~'arbitrary arrow',
 %    {[N]->size}                         ~'sizes of inputs'
 %    options {
 %       gui      :: boolean/false ~'create Java GUI for viewables'