Re: sets for sequence.e?

new topic     » goto parent     » topic index » view thread      » older message » newer message 

CChris wrote:
> 
> 
> There is also
> <a
> href="http://oedoc.free.fr/Fichiers/ESL/sets.zip">http://oedoc.free.fr/Fichiers/ESL/sets.zip</a>
> 
> It's quite more complete, as it handles maps between sets and composition
> laws.
> It was laid out and documented for inclusion in the ESL framework. But, if
> there
> is interest, I can edit the ESL stuff out.
> 

Chris,

If you would like to do that, thanks! Maybe it should be a new include, set.e
and not part of sequence.e

--
Jeremy Cowgar
http://jeremy.cowgar.com

new topic     » goto parent     » topic index » view thread      » older message » newer message

Search



Quick Links

User menu

Not signed in.

Misc Menu