[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Dependent types in Axiom
From: |
Gabriel Dos Reis |
Subject: |
[Axiom-developer] Dependent types in Axiom |
Date: |
27 Oct 2006 23:00:35 +0200 |
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
- Re: [Axiom-developer] sourceforge/silver, (continued)
- Re: [Axiom-developer] sourceforge/silver, Ralf Hemmecke, 2006/10/27
- Re: [Axiom-developer] sourceforge/silver, Waldek Hebisch, 2006/10/27
- Re: [Axiom-developer] sourceforge/silver, root, 2006/10/27
- Re: [Axiom-developer] sourceforge/silver, Gabriel Dos Reis, 2006/10/27
- Re: [Axiom-developer] sourceforge/silver, root, 2006/10/27
- Re: [Axiom-developer] closing bug reports, Martin Rubey, 2006/10/27
- [Axiom-developer] Dependent types in Axiom,
Gabriel Dos Reis <=
- [Axiom-developer] freeing Aldor (was: closing bug reports), Page, Bill, 2006/10/27
- [Axiom-developer] Re: freeing Aldor (was: closing bug reports), Martin Rubey, 2006/10/28
- RE: [Axiom-developer] sourceforge/silver, C Y, 2006/10/29
- RE: [Axiom-developer] sourceforge/silver, C Y, 2006/10/29
- Re: [Axiom-developer] sourceforge/silver, root, 2006/10/27
- Re: [Axiom-developer] sourceforge/silver, Gabriel Dos Reis, 2006/10/27