[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: SPAD and Aldor again
From: |
Peter Broadbery |
Subject: |
Re: [Axiom-developer] Re: SPAD and Aldor again |
Date: |
Fri, 17 Nov 2006 10:35:04 +0000 |
On Fri, 2006-11-17 at 11:24 +0100, Waldek Hebisch wrote:
> Peter Broadbery wrote:
> > On Fri, 2006-11-17 at 08:43 +0100, Martin Rubey wrote:
> > > Peter Broadbery is currently making Aldor extend work in Axiom. That's a
> > > giant
> > > step, in fact! Unfortuantely, it seems that support for dependent types
> > > is even
> > > more difficult. One would have to understand how aldor and axiom work
> > > together. As far as I know, there are only very few people around who know
> > > about this already.
> >
> > The mechanism is fairly simple - just fake up objects that look like
> > aldor domains and categories in axiom (interop.boot does this), and on
> > the other side interpret asy files as defining axiom types (daase.lisp).
> ^^^^^^^^^^
> You mean 'as.boot'?
>
>
That one as well (my mistake). daase does the reading and setting up
imports, as.boot does the mapping to axiom types.
Peter
- [Axiom-developer] Re: Ping: case insensitive filesystems, (continued)
- [Axiom-developer] Re: Ping: case insensitive filesystems, Waldek Hebisch, 2006/11/15
- [Axiom-developer] Re: Ping: case insensitive filesystems, Gabriel Dos Reis, 2006/11/15
- Re: [Axiom-developer] Re: Ping: case insensitive filesystems, C Y, 2006/11/16
- Re: [Axiom-developer] Re: Ping: case insensitive filesystems, Gabriel Dos Reis, 2006/11/16
- Re: [Axiom-developer] Re: Ping: case insensitive filesystems, C Y, 2006/11/16
- [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Peter Broadbery, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Waldek Hebisch, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again,
Peter Broadbery <=
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Peter Broadbery, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Waldek Hebisch, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, C Y, 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, Martin Rubey, 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, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17