Changes between Version 5 and Version 6 of NewAxioms

Show
Ignore:
Timestamp:
05/30/12 02:45:48 (12 months ago)
Author:
AntC
Comment:

Add hook to Discussion Page [AntC]

Legend:

Unmodified
Added
Removed
Modified

  • NewAxioms

    v5 v6  
    3434 
    3535Status (Jan 12): the groundwork is done, in HEAD; mainly making `CoAxiom` a more fundamental data type.  Not yet started on the details. 
     36 
     37 
     38''' [wiki:NewAxioms/DiscussionPage Discussion Page] ''' added May 2012, for comment/suggestions/requests for clarification/alternative solutions, to explore the design space. 
     39 
     40 * We'll need some concrete syntax for the discussion, so we'll follow the cached pdf, but note that the syntax there is not final. 
     41