[Top][All Lists]

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

[Axiom-developer] [Axiom Language]

From: Bill Page
Subject: [Axiom-developer] [Axiom Language]
Date: Wed, 30 Nov 2005 02:07:07 -0600


-Axiom has both an interactive language or
-"interpreter":AxiomInterpreter for user interactions and
-a programming language "compiler":ProgrammingAxiom
-for building library modules.
Axiom has the [Axiom interpreter] for interaction with the
user and the [Axiom compiler] for building library modules.

-ease-of-use. The Axiom interpreter uses type-inferencing
ease-of-use. The [Axiom interpreter] uses type-inferencing

-  The Axiom compiler language (version 1 of the language
  The [Axiom compiler] language (version 1 of the language

-Type Inference in the Interpreter
Type Inference in the Axiom Interpreter

forwarded from

reply via email to

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