Dear Stephen,
as always, I wnat to add to Ralf's message (and Bill's) that I
would very much
appreciate to see Aldor (or at least the part needed to run it
alongside with Axiom)
to be free too.
Kind regards
BF.
On Sat, Dec 3, 2011 at 10:30 PM, Ralf Hemmecke r...@hemmecke.de wrote:
Dear
On Saturday 03 Dec 2011 21:42:20 Bill Page wrote:
I would like to write:
)abbrev category MONADC MonadCat
MonadCat(T:Type, M:T-T):Category == with
join: M M T - M T
)abbrev domain MYSET MySet
MySet(T:SetCategory): MonadCat(T,MySet) with
finiteAggregate
== add