[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] dependent Types
|
From: |
Martin Rubey |
|
Subject: |
[Axiom-developer] dependent Types |
|
Date: |
02 Nov 2005 12:03:19 +0100 |
|
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
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/219TheInterpreterDoesNotUnderstandDependendTypes
It would be really wonderful if you could resolve this!
Martin
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] dependent Types,
Martin Rubey <=