Changes between Version 20 and Version 21 of NewAxioms


Ignore:
Timestamp:
May 29, 2013 2:38:13 PM (11 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v20 v21  
    66 * See also the ''' [wiki:NewAxioms/CoincidentOverlap Coincident Overlap] ''' page (added August 2012) for a discussion around the usefulness of allowing certain overlaps when the right-hand sides coincide. 
    77 * See also the ''' [wiki:NewAxioms/TemplateHaskell Template Haskell] ''' page (added December 2012) for a proposal for the Template Haskell changes necessary to support this change. 
    8  * See also the ''' [wiki:NewAxioms/Nonlinearity Non-linearity] ''' page (added May 2013) for discussion and a proposal around type unsoundness that can be caused by repeated variables on the left-hand side of an instance. The proposal on that page will likely be implemented and will then be copied here. 
     8 * See also the ''' [wiki:NewAxioms/Nonlinearity Non-linearity] ''' and ''' [wiki:NewAxioms/TypeSpaces Type Spaces] pages (added May 2013) for discussion and a proposal around type unsoundness that can be caused by repeated variables on the left-hand side of an instance. The proposal on that page will likely be implemented and will then be copied here. 
    99 
    1010Status (Jan 12): the groundwork is done, in HEAD; mainly making `CoAxiom` a more fundamental data type.  Not yet started on the details.