Martin Rubey <[EMAIL PROTECTED]> 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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
