[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Re: SPAD and Aldor again

From: Waldek Hebisch
Subject: Re: [Axiom-developer] Re: SPAD and Aldor again
Date: Fri, 17 Nov 2006 11:24:03 +0100 (CET)

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'?

                              Waldek Hebisch

reply via email to

[Prev in Thread] Current Thread [Next in Thread]