[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

It would be really wonderful if you could resolve this!


reply via email to

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