-
Notifications
You must be signed in to change notification settings - Fork 1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
logic1p is not a CD, just a CDDefinition #99
Comments
migrated from Trac, where originally posted by jhd on 4-Nov-2008 11:03pm Replying to [ticket:99 clange]:
|
migrated from Trac, where originally posted by clange on 4-Nov-2008 11:07pm Replying to [comment:1 jhd]:
(Note that I created the Trac component "OM2 Contrib CDs" for the contributed CDs in that directory.) |
migrated from Trac, where originally posted by jhd on 4-Nov-2008 11:11pm Replying to [comment:2 clange]:
|
migrated from Trac, where originally posted by clange on 4-Nov-2008 11:30pm Replying to [comment:3 jhd]:
I agree that this symbol is not well designed. In particular, the FMP is wrong, as the variable n is once referenced outside of the binder. However, I think that there are many motivations for using OpenMath. Think of adaptive documents, as e.g. in ActiveMath. There you may want to have "semantic" markup for symbols whose appearance you want to adapt, even though your semantic markup is not sufficient from a computational or logical point of view. |
migrated from Trac, where originally posted by jhd on 5-Nov-2008 11:07pm Replying to [comment:4 clange]:
|
moved to OpenMath/CDs#26 |
migrated from Trac, where originally posted by clange on 4-Nov-2008 6:58pm
logic1p consists just of one CDDefinition element
The text was updated successfully, but these errors were encountered: