[Axiom-developer] [Axiom Language]

[Bill Page]

Changes http://wiki.axiom-developer.org/AxiomLanguage/diff
--

??changed:
-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.

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

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

??changed:
-Type Inference in the Interpreter
Type Inference in the Axiom Interpreter

--
forwarded from http://wiki.axiom-developer.org/address@hidden