[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] [AxiomInterface]

From: Bill Page
Subject: [Axiom-developer] [AxiomInterface]
Date: Sat, 29 Jan 2005 21:41:46 -0600

-From unknown Wed Dec 22 06:46:54 -0600 2004
-Date: Wed, 22 Dec 2004 06:46:54 -0600
-Subject: trying axiom
-Message-ID: <address@hidden>
-This works if you start with a comment instead of a command.
-i: Integer := 1
-a: Any := i::Any
-dom a
-obj a
-j: Integer := a :: Integer
-s: String := "I am a string"
-b: Any := s::Any
-[283 more lines...]
There are some more tests of the Axiom interface here at AxiomInterface2.

forwarded from

reply via email to

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