[Top][All Lists]

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

Re: [Axiom-developer] src/hyper/

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] src/hyper/
Date: 14 Nov 2006 21:49:57 +0100

Waldek Hebisch <address@hidden> writes:

| Gaby,
| You applied change in version 259 only to (Makefile.pamphlet
| stayed unchanged).

I'll fix that when I get back to my home computer.  Thanks for the
report.  Ill also create a branch for trying to improve the compiler.
One of my goals is to remove the requirement for ')abbrev' commands, 
"extend", and better dependent types.

If we have post facto extensions, I believe we can significantly
reduce the complexity of the bootstrapping process.  I would also like
the interpreter being a kind of Spad algebra over the compiler.  Maybe
that would also give a good way to bnatural, and better surpport for
generic programming (good for Axiom!).

-- Gaby

reply via email to

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