annotate arrows/@arrow/mpower.m @ 0:672052bd81f8

Initial partial import.
author samer
date Wed, 19 Dec 2012 22:38:28 +0000
parents
children
rev   line source
samer@0 1 % mpower - Arrow with state initialiser
samer@0 2 %
samer@0 3 % mpower :: arrow(A,B,S), S -> arrow(A,B,S).
samer@0 4 %
samer@0 5 % The resulting arrow is the same as the supplied arrow
samer@0 6 % except that its accessible state is explicitly initialised.
samer@0 7 function o=mpower(a,state), o=ainitstate(a,state);
samer@0 8