On 08/13/2007 05:18 PM, William Sit wrote:
Ralf Hemmecke wrote:
Let's compile and run the program below.
woodpecker:~/scratch>aldor -laldor -grun aaa.as
has with {foo: ()->()} = T
has with {bar: ()->()} = T
has with {rhx: ()->()} = T
has with {foo: ()->()} = T
has with {bar: ()->()} = T
has wi
Ralf Hemmecke wrote:
> Let's compile and run the program below.
>
> woodpecker:~/scratch>aldor -laldor -grun aaa.as
> has with {foo: ()->()} = T
> has with {bar: ()->()} = T
> has with {rhx: ()->()} = T
> has with {foo: ()->()} = T
> has with {bar: ()->()} = T
> has with {rhx: ()->()} = T
> MDom h
I'm saying that the parameter S of the default package
Monad& -- generated for the default implementation of the
category Monad -- is of the named category Monad.
Sorry, I am too lazy to go back where all began. But let me quote that
piece of code here.
Monad(): Category == SetCategory with