Changes between Version 5 and Version 6 of NewAxioms


Ignore:
Timestamp:
May 30, 2012 9:45:48 AM (3 years 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