[Axiom-developer] Dependent types in Axiom

[Gabriel Dos Reis]

Martin Rubey <address@hidden> writes:

[...]

| And of course, it's high time for a free aldor compiler, and for dependent
| types in axiom. But I guess, all that won't happen in the near future.

free Aldor source may not happen very soon, but we may have better
support for dependent types in Axiom in the near future.

| I'm quite depressed, I must confess.

cheer up, camarad.

-- Gaby