|
|
|
last edited 16 years ago by Bill Page |
Edit detail for SandboxNullaryVsConstant revision 2 of 4
| 1 2 3 4 | ||
|
Editor: Bill Page
Time: 2008/07/07 17:21:54 GMT-7 |
||
| Note: Constants compile in Open-Axiom | ||
added:
From BillPage Mon Jul 7 17:21:54 -0700 2008
From: Bill Page
Date: Mon, 07 Jul 2008 17:21:54 -0700
Subject: Constants compile in Open-Axiom
Message-ID: <20080707172154-0700@axiom-wiki.newsynthesis.org>
Try setting the version of Axiom to a recent version of OpenAxiom.
Click 'edit' and set 'Axiom: Open-Axiom ...' But in the interpreter
they still must be referenced like nullary operators.
Axiom output parse error!
Axiom output parse error!
Constants compile in Open-Axiom --Bill Page, Mon, 07 Jul 2008 17:21:54 -0700 reply
Try setting the version of Axiom to a recent version of OpenAxiom?.
Click edit and set Axiom: Open-Axiom ... But in the interpreter
they still must be referenced like nullary operators.