[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: SPAD and Aldor again
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] Re: SPAD and Aldor again |
Date: |
17 Nov 2006 17:31:44 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Dear Tim,
root <address@hidden> writes:
> I'm afraid that I'm more inclined to deeply document the existing compiler
> before trying to tackle the problem of language modification. [...]
> [...] My contribution to the Aldor effort involved making Aldor work inside
> Axiom [...]
In fact, I consider this good news: if your contribution was to make Aldor work
inside Axiom, maybe you can help make dependent types coming from code compiled
with Aldor work in Axiom? Peter has made some effort to make Aldor "extend"
work (it does not work yet, it seems), maybe you could shortcut.
Is the interface between Aldor and Axiom documented somewhere?
I would be very happy to pay the price :-)
Martin
- Re: [Axiom-developer] Re: SPAD and Aldor again, (continued)
- Re: [Axiom-developer] Re: SPAD and Aldor again, Antoine Hersen, 2006/11/21
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/21
- Re: [Axiom-developer] Re: SPAD and Aldor again, Peter Broadbery, 2006/11/21
- Re: [Axiom-developer] Re: SPAD and Aldor again, Ralf Hemmecke, 2006/11/21
- Re: [Axiom-developer] Re: SPAD and Aldor again, Peter Broadbery, 2006/11/21
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Ralf Hemmecke, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, root, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again,
Martin Rubey <=
- Re: [Axiom-developer] Re: Ping: case insensitive filesystems, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: Ping: case insensitive filesystems, Waldek Hebisch, 2006/11/17
- Re: [Axiom-developer] Re: Ping: case insensitive filesystems, Gabriel Dos Reis, 2006/11/17
- [Axiom-developer] compiler-improvements, Waldek Hebisch, 2006/11/15
- [Axiom-developer] Re: compiler-improvements, Gabriel Dos Reis, 2006/11/15
- Re: [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, root, 2006/11/02
Re: [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, root, 2006/11/02
Re: [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, root, 2006/11/02
Re: [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, Gabriel Dos Reis, 2006/11/03
Re: [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, root, 2006/11/03