[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] kTuple wish

From: Martin Rubey
Subject: Re: [Axiom-developer] kTuple wish
Date: 29 Mar 2007 22:05:02 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Dear Ralf,

I cannot find the mail anymore in which you explained why you want to have
several labeltypes for multisort species. I think the argument was because of
functorial composition, but I cannot remember well...

Maybe you could repeat.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]