Q: modules + tunes-lll list?

[Basile STARYNKEVITCH]

Hello All,

2 unrelated questions regarding Tunes


1) what is a module for Tunes?

-- I understand a module as being an environment mapping name to
values. In other words, a module is just a reified namespace. But it
seems that some langage view module (or structures in ML) as the
result of functors or parametrized modules.

More precisely, I believe that Tunes symbol space (symbol in LISP
sense) are tree-like.

2) why do we have two tunes mailing list. Their trafic is low enough,
and the LLL and the rest are currently very related?

So I suggest to merge the two mailing lists into a single list.

-- 

Basile STARYNKEVITCH - 8 rue de la Faiencerie, 92340 BOURG LA REINE (France)
tel 01.46.65.45.53. mél <basile.starynkevitch@wanadoo.fr>
boulot=work=<basile.starynkevitch@cea.fr>