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