[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] RE: dependent Types
From: |
Weiss, Juergen |
Subject: |
[Axiom-developer] RE: dependent Types |
Date: |
Sun, 6 Nov 2005 16:35:27 +0100 |
Dear Martin,
I must admit that my practical knowlegde of AXIOM does not
really include code produced by the A# compiler, as it
predates the availability of A#. And as I wrote in my
last mail, I do not have much spare time which I can
spend on AXIOM. So probably I will not be able to
contribute much to this.
Regards
Juergen Weiss
Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung,
address@hidden| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407
> -----Original Message-----
> From: address@hidden
> [mailto:address@hidden On Behalf Of Martin Rubey
> Sent: Wednesday, November 02, 2005 12:03 PM
> To: Weiss, Juergen
> Cc: axiom-developer
> Subject: dependent Types
>
> Dear Jürgen,
>
> since you seem to be quite knowledgable of the interpreter,
> would it be
> possible that you look at
>
> http://wiki.axiom-developer.org/219TheInterpreterDoesNotUnders
> tandDependendTypes
>
> It would be really wonderful if you could resolve this!
>
> Martin
>
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] RE: dependent Types,
Weiss, Juergen <=