Re: [Axiom-developer] Axiom, SPAD, and Aldor

[Gabriel Dos Reis]

C Y <address@hidden> writes:

[...]

| Axiom we presumably have permission to use (since we're calling our
| project Axiom, after all) but Aldor we don't have permission to use so
| whatever we do develop calling the result Aldor might not be the best
| move.

I have been using, for a week now, "Bemol" as a code-name for a
language that is SPAD-like but with more defined type system and
semantics.  It is still a work-in-program a colleague and I are
conducting.  When ee find it unembarrsing enough we will send the
result here for feedback. 

-- Gaby