[Trac] [OpenMath] #28: New Roles for Types?

Sun Jan 27 06:19:23 CET 2008

#28: New Roles for Types?
---------------------------+------------------------------------------------
    Reporter:  kohlhase    |           Owner:  kohlhase  
        Type:  proposal    |          Status:  new       
    Priority:  blocker     |       Milestone:  CD3 Draft1
   Component:  CD3 Format  |         Version:            
    Keywords:              |   Include_gantt:  0         
Dependencies:              |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD  |  
---------------------------+------------------------------------------------
 if we have many types (and MathML3/OM3) acknowledge the existence of type
 systems, should we introduce new roles for types in CDs?

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/28>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.