axiom-developer
[Top][All Lists]
Advanced

[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





reply via email to

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