e
> >
> >for e in g repeat
> >(a, b) := e
> >...
>
> Possible in Aldor
>
> >or even
> >
> >for (a, b) in g repeat
> >...
> >
> >given that g returns a Cross.
>
> Not possible in Aldor.
>
>
>
> St
On Mon, Sep 03, 2007 at 11:22:31PM -0400, Bill Page wrote:
> ...
> Are you aware that currently Aldor works within Axiom by compiling to
> Lisp? How do you see FOAM being involved? Could you expand a little on
> this comment?
In case it is not clear: FOAM is the compilation target for Aldor, and
"export from" is correct.
-- Stephen
On Wed, Dec 06, 2006 at 05:34:59PM +0100, Ralf Hemmecke wrote:
> Can somebody explain the difference between Aldor's
>export from ...
> and
>export to ...
>
> Peter Broadbery used
>
> export from UNISEG %;
>
> in axextend.as from
>
> http://
You are correct that there is a potential inconsistency.
We avoid Russel's paradox by limiting the operations for
constructing and testing membership in type categories.
Note that many programming languages have the problem of
allowing types with no elements, which can lead to the type
theory equ
Dear Christian et al,
I've been following your discussion with interest.
The way things are intended to be in the Aldor *language* is as follows.
Expressions in type context (e.g. T in a: T := ...) must be formed from
names that are constant in that scope. These names may be of any type
and
Changes http://wiki.axiom-developer.org/FreeAldor/diff
--
Thank you to Bill Page for bringing this web site to my attention.
I am supportive of this movement, and have started discussions to move in this
direction.
Stephen Watt
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED
